[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#570387: marked as done (prolog tests fail at least on powerpc)

Your message dated Mon, 01 Mar 2010 22:33:06 +0000
with message-id <E1NmEAk-0006os-TL@ries.debian.org>
and subject line Bug#570387: fixed in ppl 0.10.2-5
has caused the Debian Bug report #570387,
regarding prolog tests fail at least on powerpc
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
570387: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=570387
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: ppl
Version: 0.10.2-4
Severity: serious
the prolog tests fail at least on powerpc. Please either fix these that the package is built again, or ignore the failures in the prolog testsuite. ppl is used as a gcc build-dependency, and we shouldn't care that much about clean prolog tests.

--- End Message ---
--- Begin Message --- 
Source: ppl
Source-Version: 0.10.2-5

We believe that the bug you reported is fixed in the latest version of
ppl, which is due to be installed in the Debian FTP archive:

libppl-c2_0.10.2-5_amd64.deb
  to main/p/ppl/libppl-c2_0.10.2-5_amd64.deb
libppl-doc_0.10.2-5_all.deb
  to main/p/ppl/libppl-doc_0.10.2-5_all.deb
libppl-swi_0.10.2-5_amd64.deb
  to main/p/ppl/libppl-swi_0.10.2-5_amd64.deb
libppl0.10-dev_0.10.2-5_amd64.deb
  to main/p/ppl/libppl0.10-dev_0.10.2-5_amd64.deb
libppl7_0.10.2-5_amd64.deb
  to main/p/ppl/libppl7_0.10.2-5_amd64.deb
libpwl-dev_0.10.2-5_amd64.deb
  to main/p/ppl/libpwl-dev_0.10.2-5_amd64.deb
libpwl4_0.10.2-5_amd64.deb
  to main/p/ppl/libpwl4_0.10.2-5_amd64.deb
ppl_0.10.2-5.debian.tar.gz
  to main/p/ppl/ppl_0.10.2-5.debian.tar.gz
ppl_0.10.2-5.dsc
  to main/p/ppl/ppl_0.10.2-5.dsc



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 570387@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <mt@debian.org> (supplier of updated ppl package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 28 Feb 2010 10:35:31 +0100
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.10.2-5
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 libppl-c2  - Parma Polyhedra Library (C interface)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
 libppl0.10-dev - Parma Polyhedra Library (development)
 libppl7    - Parma Polyhedra Library (runtime library)
 libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
 libpwl4    - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 570387
Changes: 
 ppl (0.10.2-5) unstable; urgency=low
 .
   * Dropped versioned build dep on libgmp3-dev as even etch has a sufficiently
     new version.
   * Dropped build dep on quilt.
   * Added upstream patches to work around incomplete signal handling on hurd.
   * Disable 2 Prolog tests as there is some failure on PowerPC only that I'm
     unable to debug. Closes: #570387.
Checksums-Sha1: 
 63b52318aeb99c308f538937cae7aa122fc5a9f2 1479 ppl_0.10.2-5.dsc
 4d3859ad8f61b4d7f23dee4ccd681eef69d3f5f6 21762 ppl_0.10.2-5.debian.tar.gz
 dc5bdd0528056b93d948bdf9a7a1daaedb8745b9 373838 libppl7_0.10.2-5_amd64.deb
 9c716adafe6a6cdf81b3f62d4401e5010ab4bf4e 2850906 libppl0.10-dev_0.10.2-5_amd64.deb
 c4d40c73acc54789e687f71375a23b4ceb127843 1288198 libppl-c2_0.10.2-5_amd64.deb
 6502554f81c4944863850a821845b5676eeb8b2f 19278 libpwl4_0.10.2-5_amd64.deb
 6ea0b405eea9e4258d60be750d6f76f018e78c2d 26138 libpwl-dev_0.10.2-5_amd64.deb
 9079b76fc5ee5a76956df81148390f2bc036bac9 6050916 libppl-swi_0.10.2-5_amd64.deb
 ebcfb2b30a7695dc4156ce5ea7c6063d6bf76ecc 3621646 libppl-doc_0.10.2-5_all.deb
Checksums-Sha256: 
 8a23b102993702ecf859052fb64552d49be7a509fbd741dd500403f5e63f1bbe 1479 ppl_0.10.2-5.dsc
 aeddfad246f94503b7ee2c4bdae0abb37968c456dba3f0fe248a1c96ca187c3b 21762 ppl_0.10.2-5.debian.tar.gz
 5b327f3bfb0380efd3afc9e4d47ce341e61b7a1c9e42aa94fc216b55d31b1099 373838 libppl7_0.10.2-5_amd64.deb
 de6eba594955ac73842893fc26844fbe292ebb3d0f8b3f2df83f5d50600aa59c 2850906 libppl0.10-dev_0.10.2-5_amd64.deb
 d9f9068b7b88202d3eb20d1742196ab69f0b2ee485f461eea75cf8a5da190314 1288198 libppl-c2_0.10.2-5_amd64.deb
 4656812bc0a3054bbe38c5b9413b84f9b20fcd962fc3218aa27c600ae1c92828 19278 libpwl4_0.10.2-5_amd64.deb
 95519b32160cf9013f936baad206519c5367d4cf2fc43e5e4bc8407aad71d05a 26138 libpwl-dev_0.10.2-5_amd64.deb
 6156d65d5389d06982eea612632229433fccc8c5814a42878c26f395606e844a 6050916 libppl-swi_0.10.2-5_amd64.deb
 def3f5d6c0a8ed333f030e8144b319e1ce801a59b3a59ebcc64a9882ab6b0d66 3621646 libppl-doc_0.10.2-5_all.deb
Files: 
 ca4f6e39c8a22d40d46c2ba3dffd1847 1479 libs optional ppl_0.10.2-5.dsc
 622934a9faf60c4c84e381f8a55d11b1 21762 libs optional ppl_0.10.2-5.debian.tar.gz
 a8a9743ade805401251614a0d6d499a6 373838 libs optional libppl7_0.10.2-5_amd64.deb
 ffa33b125a52a0fabc4ade6c4edd7b67 2850906 libdevel optional libppl0.10-dev_0.10.2-5_amd64.deb
 e2c1cb04fcb55a590533d002cfc0ece4 1288198 libs optional libppl-c2_0.10.2-5_amd64.deb
 f8761e2ef27db90d67a892a95fc58f6a 19278 libs optional libpwl4_0.10.2-5_amd64.deb
 f8b7d1a883deff5be8e6a99bb2e5cc2d 26138 libdevel optional libpwl-dev_0.10.2-5_amd64.deb
 8e96dd4cd4a10aea17fca5b51aa03223 6050916 libs optional libppl-swi_0.10.2-5_amd64.deb
 a10d2e4726e3a024998125762b5cc307 3621646 doc optional libppl-doc_0.10.2-5_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkuKhf4ACgkQvx6dH3bVKsTrtACggfxcBb+daIc4hq7JChzDNcJd
27kAn0m2hSflaNcthgV0iZY/s4aebWG/
=fF6n
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: