Processing commands for cont...@bugs.debian.org:

> found 269948 4.3.2-2
Bug#269948: gnat: Illegal program not detected, RM 3.9.3(11)
Bug marked as found in version 4.3.2-2.

> found 276224 4.3.2-2
Bug#276224: gnat: Illegal program not detected, RM 3.9.2(9)
Bug marked as found in version 4.3.2-2.

> found 278687 4.3.2-2
Bug#278687: gnat: Legal program rejected, RM 13.13.2(14)
Bug marked as found in version 4.3.2-2.

> found 278831 4.3.2-2
Bug#278831: gnat: Illegal program not detected, access to invisible type RM 
8.2(9)
Bug marked as found in version 4.3.2-2.

> found 279893 4.3.2-2
Bug#279893: gnat: Legal instantiation rejected; illegal instantiation accepted
Bug marked as found in version 4.3.2-2.

> found 280939 4.3.2-2
Bug#280939: gnat: Illegal program not detected, RM 10.1.5(4), 8.1(16)
Bug marked as found in version 4.3.2-2.

> found 283835 4.3.2-2
Bug#283835: gnat: Illegal program not detected, "/=" when "=" is ambiguous
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)


-- 
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to