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,
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)
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 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 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,
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 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, RM
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 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 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)
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 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 Marked
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
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
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 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:
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 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
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
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 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.
21 matches
Mail list logo
