Processing commands for cont...@bugs.debian.org:
> reassign 614402 gnat-4.6
Bug #614402 [gnat-4.4] gnat-4.4: Pragma Assert is rejected with
No_Implementation_Pragmas restriction
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
Bug No longer marked as found in versions gnat-4.4/4.4.5-3.
> fou
Processing commands for cont...@bugs.debian.org:
> reassign 540174 gnat-4.6
Bug #540174 [gnat-4.4] gnat-4.4: Assert_Failure sinfo.adb:360, error detected
at a-unccon.ads:23:27
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
Bug No longer marked as found in versions gnat-4.4/4.4.1-1.
> found
Processing commands for cont...@bugs.debian.org:
> reassign 427108 gnat-4.6
Bug #427108 [gnat-4.4] gnat-4.1: Legal program executes incorrectly, RM 3.4(27)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 427108 4.6.1-5
Bug #427108 [gnat-4.6] gnat-4.1: Legal program executes incorrect
Processing commands for cont...@bugs.debian.org:
> reassign 279893 gnat-4.6
Bug #279893 [gnat-4.4] gnat: Legal instantiation rejected; illegal
instantiation accepted
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 279893 4.6.1-5
Bug #279893 [gnat-4.6] gnat: Legal instantiation rejec
Processing commands for cont...@bugs.debian.org:
> reassign 276224 gnat-4.6
Bug #276224 [gnat-4.4] gnat: Illegal program not detected, RM 3.9.2(9)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 276224 4.6.1-5
Bug #276224 [gnat-4.6] gnat: Illegal program not detected, RM 3.9.2(9)
Bug
Processing commands for cont...@bugs.debian.org:
> reassign 416979 gnat-4.6
Bug #416979 [gnat-4.4] gnat-4.1: Illegal program not detected, RM 7.3(13),
4.9.1(1), nonstatic discriminants
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 416979 4.6.1-5
Bug #416979 [gnat-4.6] gnat-4.1: Il
Processing commands for cont...@bugs.debian.org:
> reassign 283835 gnat-4.6
Bug #283835 [gnat-4.4] gnat: Illegal program not detected, "/=" when "=" is
ambiguous
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 283835 4.6.1-5
Bug #283835 [gnat-4.6] gnat: Illegal program not detected,
Processing commands for cont...@bugs.debian.org:
> reassign 280939 gnat-4.6
Bug #280939 [gnat-4.4] gnat: Illegal program not detected, RM 10.1.5(4), 8.1(16)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 280939 4.6.1-5
Bug #280939 [gnat-4.6] gnat: Illegal program not detected, RM 10
Processing commands for cont...@bugs.debian.org:
> reassign 416975 gnat-4.6
Bug #416975 [gnat-4.4] gnat-4.1: Illegal program not detected, RM 7.3(13),
4.9.1(1)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 416975 4.6.1-5
Bug #416975 [gnat-4.6] gnat-4.1: Illegal program not detecte
Processing commands for cont...@bugs.debian.org:
> reassign 278687 gnat-4.6
Bug #278687 [gnat-4.4] gnat: Legal program rejected, RM 13.13.2(14)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 278687 4.6.1-5
Bug #278687 [gnat-4.6] gnat: Legal program rejected, RM 13.13.2(14)
Bug Marke
Processing commands for cont...@bugs.debian.org:
> reassign 269951 gnat-4.6
Bug #269951 [gnat-4.4] gnat: Illegal program not detected, name hidden by use
clauses
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 269951 4.6.1-5
Bug #269951 [gnat-4.6] gnat: Illegal program not detected,
Processing commands for cont...@bugs.debian.org:
> reassign 269948 gnat-4.6
Bug #269948 [gnat-4.4] gnat: Illegal program not detected, RM 3.9.3(11)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 269948 4.6.1-5
Bug #269948 [gnat-4.6] gnat: Illegal program not detected, RM 3.9.3(11)
B
Processing commands for cont...@bugs.debian.org:
> reassign 253737 gnat-4.6
Bug #253737 [gnat-4.4] gnat: Legal program rejected, nested generic packages
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 253737 4.6.1-5
Bug #253737 [gnat-4.6] gnat: Legal program rejected, nested generic
Processing commands for cont...@bugs.debian.org:
> reassign 251265 gnat-4.6
Bug #251265 [gnat-4.4] gnat: Bug box in Gigi, code=316, on legal Ada 83 program
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 251265 4.6.1-5
Bug #251265 [gnat-4.6] gnat: Bug box in Gigi, code=316, on legal
Processing commands for cont...@bugs.debian.org:
> reassign 248682 gnat-4.6
Bug #248682 [gnat-4.4] gnat: Illegal program not detected, RM 6.3.1(9), RM
8.5.4(5)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248682 4.6.1-5
Bug #248682 [gnat-4.6] gnat: Illegal program not detected, R
Processing commands for cont...@bugs.debian.org:
> reassign 248681 gnat-4.6
Bug #248681 [gnat-4.4] gnat: Illegal program not detected, RM 8.5.4(5)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248681 4.6.1-5
Bug #248681 [gnat-4.6] gnat: Illegal program not detected, RM 8.5.4(5)
Bug
Processing commands for cont...@bugs.debian.org:
> reassign 248680 gnat-4.6
Bug #248680 [gnat-4.4] gnat: Illegal program not detected, X'Access of wrong
type
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248680 4.6.1-5
Bug #248680 [gnat-4.6] gnat: Illegal program not detected, X'A
Processing commands for cont...@bugs.debian.org:
> reassign 248678 gnat-4.6
Bug #248678 [gnat-4.4] gnat: Illegal program not detected, RM 3.4.1(5)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248678 4.6.1-5
Bug #248678 [gnat-4.6] gnat: Illegal program not detected, RM 3.4.1(5)
Bug
Processing commands for cont...@bugs.debian.org:
> reassign 248170 gnat-4.6
Bug #248170 [gnat-4.4] gnat: Illegal program not detected, RM 3.10.2(24)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248170 4.6.1-5
Bug #248170 [gnat-4.6] gnat: Illegal program not detected, RM 3.10.2(24)
Processing commands for cont...@bugs.debian.org:
> reassign 248168 gnat-4.6
Bug #248168 [gnat-4.4] gnat: Illegal program not detected, RM 3.9.2(13)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248168 4.6.1-5
Bug #248168 [gnat-4.6] gnat: Illegal program not detected, RM 3.9.2(13)
B
Processing commands for cont...@bugs.debian.org:
> reassign 248167 gnat-4.6
Bug #248167 [gnat-4.4] gnat: Legal program rejected, expect derived type in
instantiation
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248167 4.6.1-5
Bug #248167 [gnat-4.6] gnat: Legal program rejected, e
21 matches
Mail list logo
