Source: gnat-4.1 Source-Version: 4.1.1-10 We believe that the bug you reported is fixed in the latest version of gnat-4.1, which is due to be installed in the Debian FTP archive: gnat-4.1-base_4.1.1-10_i386.deb to pool/main/g/gnat-4.1/gnat-4.1-base_4.1.1-10_i386.deb gnat-4.1-base_4.1.1-10_powerpc.deb to pool/main/g/gnat-4.1/gnat-4.1-base_4.1.1-10_powerpc.deb gnat-4.1_4.1.1-10.diff.gz to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10.diff.gz gnat-4.1_4.1.1-10.dsc to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10.dsc gnat-4.1_4.1.1-10_i386.deb to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10_i386.deb gnat-4.1_4.1.1-10_powerpc.deb to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10_powerpc.deb libgnat-4.1_4.1.1-10_i386.deb to pool/main/g/gnat-4.1/libgnat-4.1_4.1.1-10_i386.deb libgnat-4.1_4.1.1-10_powerpc.deb to pool/main/g/gnat-4.1/libgnat-4.1_4.1.1-10_powerpc.deb libgnatprj-dev_4.1.1-10_i386.deb to pool/main/g/gnat-4.1/libgnatprj-dev_4.1.1-10_i386.deb libgnatprj-dev_4.1.1-10_powerpc.deb to pool/main/g/gnat-4.1/libgnatprj-dev_4.1.1-10_powerpc.deb libgnatprj4.1_4.1.1-10_i386.deb to pool/main/g/gnat-4.1/libgnatprj4.1_4.1.1-10_i386.deb libgnatprj4.1_4.1.1-10_powerpc.deb to pool/main/g/gnat-4.1/libgnatprj4.1_4.1.1-10_powerpc.deb libgnatvsn-dev_4.1.1-10_i386.deb to pool/main/g/gnat-4.1/libgnatvsn-dev_4.1.1-10_i386.deb libgnatvsn-dev_4.1.1-10_powerpc.deb to pool/main/g/gnat-4.1/libgnatvsn-dev_4.1.1-10_powerpc.deb libgnatvsn4.1_4.1.1-10_i386.deb to pool/main/g/gnat-4.1/libgnatvsn4.1_4.1.1-10_i386.deb libgnatvsn4.1_4.1.1-10_powerpc.deb to pool/main/g/gnat-4.1/libgnatvsn4.1_4.1.1-10_powerpc.deb A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to