Processed: Found in 4.3.2-2
Processing commands for control@bugs.debian.org:
> found 306835 4.3.2-2
Bug#306835: gnat: Illegal program not detected, RM 3.6(11)
Bug marked as found in version 4.3.2-2.
> found 416975 4.3.2-2
Bug#416975: gnat-4.1: Illegal program not detected, RM 7.3(13), 4.9.1(1)
Bug marked as found in version 4.3.2-2.
> found 416979 4.3.2-2
Bug#416979: gnat-4.1: Illegal program not detected, RM 7.3(13), 4.9.1(1), nonstatic discriminants
Bug marked as found in version 4.3.2-2.
> found 427107 4.3.2-2
Bug#427107: gnat-4.1: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/="
Bug marked as found in version 4.3.2-2.
> found 427108 4.3.2-2
Bug#427108: gnat-4.1: Legal program executes incorrectly, RM 3.4(27)
Bug marked as found in version 4.3.2-2.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: