Processed: Found in 4.3.2-2

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@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)