Accepted ppl 0.10.2-5 (source all amd64)
-----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-----
Accepted:
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
Reply to: