Re: To merge or not to merge gcc-4.3 into gnat-4.3

2008-08-12 Thread Luk Claes
Ludovic Brenta wrote: Hi Hi The version of gcc-4.3 currently in testing is 4.3.1-2 but 4.3.1-8 is in unstable. Is there a plan to allow 4.3.0-8 into testing? The reason I'm asking is because I'm about to upload gnat-4.3 4.3.1-2 with the changelog below, and I would like this version to migrat

Bug#493814: marked as done (Dangling libgnat.so-4.3 links in adalib directory of gnat, no libgnat.so file)

2008-08-12 Thread Debian Bug Tracking System
Your message dated Tue, 12 Aug 2008 14:17:09 + with message-id <[EMAIL PROTECTED]> and subject line Bug#493814: fixed in gnat-4.3 4.3.1-2 has caused the Debian Bug report #493814, regarding Dangling libgnat.so-4.3 links in adalib directory of gnat, no libgnat.so file to be marked as done. Th

Bug#487564: marked as done (gnat-4.3: FTBFS with gnat-4.3 but not gnat installed)

2008-08-12 Thread Debian Bug Tracking System
Your message dated Tue, 12 Aug 2008 14:17:09 + with message-id <[EMAIL PROTECTED]> and subject line Bug#487564: fixed in gnat-4.3 4.3.1-2 has caused the Debian Bug report #487564, regarding gnat-4.3: FTBFS with gnat-4.3 but not gnat installed to be marked as done. This means that you claim th

Bug#492866: marked as done (libgnatprj4.3-dev: /usr/share/ada/adainclude/gnatprj/sdefault.ads missing, package unusable)

2008-08-12 Thread Debian Bug Tracking System
Your message dated Tue, 12 Aug 2008 14:17:09 + with message-id <[EMAIL PROTECTED]> and subject line Bug#492866: fixed in gnat-4.3 4.3.1-2 has caused the Debian Bug report #492866, regarding libgnatprj4.3-dev: /usr/share/ada/adainclude/gnatprj/sdefault.ads missing, package unusable to be marke

Bug#248172: marked as done ([Fixed in 4.4] gnat: Legal program rejected, procedure of)

2008-08-12 Thread Debian Bug Tracking System
Your message dated Tue, 12 Aug 2008 14:17:09 + with message-id <[EMAIL PROTECTED]> and subject line Bug#248172: fixed in gnat-4.3 4.3.1-2 has caused the Debian Bug report #248172, regarding [Fixed in 4.4] gnat: Legal program rejected, procedure of to be marked as done. This means that you cla

gnat-4.3_4.3.1-2_amd64.changes ACCEPTED

2008-08-12 Thread Debian Installer
Accepted: gnat-4.3-base_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/gnat-4.3-base_4.3.1-2_amd64.deb gnat-4.3_4.3.1-2.diff.gz to pool/main/g/gnat-4.3/gnat-4.3_4.3.1-2.diff.gz gnat-4.3_4.3.1-2.dsc to pool/main/g/gnat-4.3/gnat-4.3_4.3.1-2.dsc gnat-4.3_4.3.1-2_amd64.deb to pool/main/g/gnat-4.3/g

Processing of gnat-4.3_4.3.1-2_amd64.changes

2008-08-12 Thread Archive Administrator
gnat-4.3_4.3.1-2_amd64.changes uploaded successfully to localhost along with the files: gnat-4.3_4.3.1-2.dsc gnat-4.3_4.3.1-2.diff.gz gnat-4.3-base_4.3.1-2_amd64.deb libgnat-4.3_4.3.1-2_amd64.deb libgnatvsn4.3-dev_4.3.1-2_amd64.deb libgnatvsn4.3_4.3.1-2_amd64.deb libgnatprj4.3-dev_4.3

Bug#494815: gcc 4.3.1: some code breaks when optimization is not -O0

2008-08-12 Thread Michael Stapelberg
Package: gcc Version: 4.3.1 Severity: important As explained at http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37090 the GCC in version 4.3.1 produces broken code for some loops. Please upgrade GCC to a newer version before freezing lenny to stable, because we otherwise have to use/add workarounds f