Processing commands for control@bugs.debian.org: > fixed 274077 4.3.1-0 Bug#274077: gnat: Bug box, Program_Error sem_type.adb:1348 in legal program Bug marked as fixed in version 4.3.1-0. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)