Processed: mark reassigned bugs as found 4.6.1-5
Processing commands for control@bugs.debian.org:
> found 182360 4.6.1-5
Bug #182360 [gnat-4.6] gnat: GNAT.OS_Lib.Close ignores return value
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 244936 4.6.1-5
Bug #244936 [gnat-4.6] gnat-4.6: Legal program rejected, RM 8.2(22)
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 244970 4.6.1-5
Bug #244970 [gnat-4.6] gnat: Illegal program not detected, RM 12.1(11)
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 246183 4.6.1-5
Bug #246183 [gnat-4.6] gnat: Legal program rejected, derived tagged type in child package doesn't see parent's element
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 246186 4.6.1-5
Bug #246186 [gnat-4.6] gnat: Legal program rejected, using Boolean'Base
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 246187 4.6.1-5
Bug #246187 [gnat-4.6] gnat: Bug box, Storage_Error at system.ads:139:5 on legal program
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 247013 4.6.1-5
Bug #247013 [gnat-4.6] gnat: Illegal program not detected, RM 3.7(14)
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 247017 4.6.1-5
Bug #247017 [gnat-4.6] gnat: Illegal program not detected, RM 3.7.2(2)
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 283833 4.6.1-5
Bug #283833 [gnat-4.6] gnat-4.6: Illegal program not detected, RM 6.3.1(7), 8.5.4(5), 13.14(3)
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
283833: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=283833
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: