Processing commands for control@bugs.debian.org: > fixed 421309 4.1.2-8 Bug#421309: gnat-4.1: please upload 4.1.2 to resync with gcc-4.1 Bug marked as fixed in version 4.1.2-8. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)