Processing of ppl_0.10~pre27-3_ia64.changes

2008-09-22 Thread Archive Administrator
ppl_0.10~pre27-3_ia64.changes uploaded successfully to localhost along with the files: libppl7_0.10~pre27-3_ia64.deb libppl-dev_0.10~pre27-3_ia64.deb libppl-c0_0.10~pre27-3_ia64.deb libpwl4_0.10~pre27-3_ia64.deb libpwl-dev_0.10~pre27-3_ia64.deb Greetings, Your Debian queue daemo

ppl_0.10~pre27-3_ia64.changes REJECTED

2008-09-22 Thread Debian Installer
Rejected: ppl_0.10~pre27-3_ia64.changes: a file with this name already exists in the Done directory. Rejected: libppl-c0_0.10~pre27-3_ia64.deb: old version (0.10~pre27-3) in unstable >= new version (0.10~pre27-3) targeted at unstable. Rejected: libppl-c0_0.10~pre27-3_ia64.deb: can not overwrite

Bug#499786: lib32gcc1: missing GCC_4.* symbols

2008-09-22 Thread Miquel van Smoorenburg
Package: lib32gcc1 Version: 1:4.3.1-9 Tags: lenny Severity: grave lib32gcc1 is lenny does not have the GCC_4.* symbols included, so it's impossible to run any 32 bits binaries that depend on these symbols. A simple C hello world program works for some reason, but as soon as you link with some lib

Bug#499786: lib32gcc1: missing GCC_4.* symbols

2008-09-22 Thread Aurelien Jarno
tag 499786 + unreproducible thanks On Mon, Sep 22, 2008 at 01:06:32PM +0200, Miquel van Smoorenburg wrote: > Package: lib32gcc1 > Version: 1:4.3.1-9 > Tags: lenny > Severity: grave > > lib32gcc1 is lenny does not have the GCC_4.* symbols included, > so it's impossible to run any 32 bits binaries

Processed: Re: Bug#499786: lib32gcc1: missing GCC_4.* symbols

2008-09-22 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > tag 499786 + unreproducible Bug#499786: lib32gcc1: missing GCC_4.* symbols Tags were: lenny Tags added: unreproducible > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrato

Processed: Re: Bug#499786: lib32gcc1: missing GCC_4.* symbols

2008-09-22 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > close 499786 Bug#499786: lib32gcc1: missing GCC_4.* symbols 'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing. Bug closed, send any further explanations to Miquel van Smoorenburg <[EMAIL PROTECTED]> > thanks Stopping processing h

Bug#499786: lib32gcc1: missing GCC_4.* symbols

2008-09-22 Thread Miquel van Smoorenburg
close 499786 thanks On Mon, 2008-09-22 at 14:41 +0200, Aurelien Jarno wrote: > > lib32gcc1 is lenny does not have the GCC_4.* symbols included, > > so it's impossible to run any 32 bits binaries that depend on > > these symbols. > > $ ./a.out > > ./a.out: /emul/ia32-linux/lib/libgcc_s.so.1: versi

Processing of cloog-ppl_0.15~git20080915-2_i386.changes

2008-09-22 Thread Archive Administrator
cloog-ppl_0.15~git20080915-2_i386.changes uploaded successfully to localhost along with the files: cloog-ppl_0.15~git20080915-2.dsc cloog-ppl_0.15~git20080915-2.diff.gz libcloog-ppl-dev_0.15~git20080915-2_i386.deb libcloog-ppl0_0.15~git20080915-2_i386.deb Greetings, Your Debian qu

cloog-ppl_0.15~git20080915-2_i386.changes ACCEPTED

2008-09-22 Thread Debian Installer
Accepted: cloog-ppl_0.15~git20080915-2.diff.gz to pool/main/c/cloog-ppl/cloog-ppl_0.15~git20080915-2.diff.gz cloog-ppl_0.15~git20080915-2.dsc to pool/main/c/cloog-ppl/cloog-ppl_0.15~git20080915-2.dsc libcloog-ppl-dev_0.15~git20080915-2_i386.deb to pool/main/c/cloog-ppl/libcloog-ppl-dev_0.15~

Bug#499741: marked as done (cloog-ppl - FTBFS: makeinfo: command not found)

2008-09-22 Thread Debian Bug Tracking System
Your message dated Mon, 22 Sep 2008 16:32:03 + with message-id <[EMAIL PROTECTED]> and subject line Bug#499741: fixed in cloog-ppl 0.15~git20080915-2 has caused the Debian Bug report #499741, regarding cloog-ppl - FTBFS: makeinfo: command not found to be marked as done. This means that you cl

New Parma Polyhedra Library packages

2008-09-22 Thread Roberto Bagnara
Hi there, I lead the team developing the Parma Polyhedra Library. I noticed on http://packages.debian.org/sid/main/libppl7 that packges are available even for architectures we have never dreamt of. Did you run `make check' on those to make sure everything is OK? I guess not, because righ

Bug#499832: libppl7: tries to overwrite file owned by libppl6

2008-09-22 Thread Ralf Treinen
Package: libppl7 Version: 0.10~pre27-3 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-09-22 Architecture: amd64 Distribution: sid Comm

Processed: reassign

2008-09-22 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > reassign 499830 libppl6,libppl-dev Bug#499830: libppl6: tries to overwrite file owned by libppl-dev Bug reassigned from package `libppl6' to `libppl6,libppl-dev'. > reassign 499832 libppl7,libppl6 Bug#499832: libppl7: tries to overwrite file owned by l