Accepted ppl 0.10.2-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 16 Oct 2009 12:33:08 +0200
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.10.2-3
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: 540083
Changes:
ppl (0.10.2-3) unstable; urgency=low
.
* Bumped Standars-Version to 3.8.3 (no changes).
* Added README.source.
* Added current upstream patches for 0.10.2.
* Don't watch snapshots, only do stable releases.
* Added SWI-Prolog bindings (new package libppl-swi, thanks Israel Herraiz
<isra@herraiz.org>). Closes: #540083.
Checksums-Sha1:
330544a2b45e6cf1016ae079b6d5a49247d75ea6 1427 ppl_0.10.2-3.dsc
1837dfcb11240bbc36e9f01cad9d5e8a1c011619 12267 ppl_0.10.2-3.diff.gz
7fc9cfb821f1f1de2294cbd99c5a41c75d602fb4 378334 libppl7_0.10.2-3_amd64.deb
e6b9c707ced25cb7d0e8770b5ad8bdc6d7b320d8 2846152 libppl0.10-dev_0.10.2-3_amd64.deb
f15c4fd221d078eb219af0495080ec65e5b89481 1267430 libppl-c2_0.10.2-3_amd64.deb
c2785056b6018071689e727aa8737dc2d30301bd 19226 libpwl4_0.10.2-3_amd64.deb
8a9ae3f187d8ab8af2f8ec2362e71474c5143b57 25802 libpwl-dev_0.10.2-3_amd64.deb
3f05f8ab569eccbcbd00ca1dd5b0066c7ebff910 5960874 libppl-swi_0.10.2-3_amd64.deb
109fe1c4fd84eaf38d35b15b3250063fff714597 3621336 libppl-doc_0.10.2-3_all.deb
Checksums-Sha256:
d007f58c27c0c73e76cbc2d1214b1765b8643a050ee972616545f0af8b08218a 1427 ppl_0.10.2-3.dsc
5399cc91c9f93b58ef93adc95b7a7000ce84ac93b16d682fb781a0f2606b74a2 12267 ppl_0.10.2-3.diff.gz
105be0d372010c962fcdfac06c6e6290c2ba199a964f3bd0f9a0368f889f77e7 378334 libppl7_0.10.2-3_amd64.deb
1aaaa987811dc71ce74f084a2078eebedda45b957a5454d36aeaea4be88b1d7b 2846152 libppl0.10-dev_0.10.2-3_amd64.deb
4b82f0b34ba0696ffdf12c2d1f6716ad429fe2afcded5c9d28c992ba2ffb6b27 1267430 libppl-c2_0.10.2-3_amd64.deb
a6e53e4611be88417989200d3006c0fa1b0bbaa061c32f52fe10be9f9fdbdda5 19226 libpwl4_0.10.2-3_amd64.deb
9e8c126b8e18ec626ef3da9e0ab44ac6381315c9b764cc922f994fe760d0778b 25802 libpwl-dev_0.10.2-3_amd64.deb
cbd03bfe6ee37dc5f87bd171e489a75212746dcf85f86c283a4c34ce597f0f32 5960874 libppl-swi_0.10.2-3_amd64.deb
b9a885617a1dccd86c68a2842b5cf1b56848f1333e542696edda6dea30fbdad6 3621336 libppl-doc_0.10.2-3_all.deb
Files:
ff214d0fdc02ee79cd20a4c14d541a45 1427 libs optional ppl_0.10.2-3.dsc
033282bb30ceeaadad14926362d35593 12267 libs optional ppl_0.10.2-3.diff.gz
db5d13a53bfb541a641117f2bf913b57 378334 libs optional libppl7_0.10.2-3_amd64.deb
a258a0caa4e32d91debe5568aa560696 2846152 libdevel optional libppl0.10-dev_0.10.2-3_amd64.deb
6ba3f80c13aa7af1bf408f1743ac4ac1 1267430 libs optional libppl-c2_0.10.2-3_amd64.deb
644554b7c7832070627c9272164ebcfa 19226 libs optional libpwl4_0.10.2-3_amd64.deb
8e2afda75e834c8af5edf6e6bf7453b1 25802 libdevel optional libpwl-dev_0.10.2-3_amd64.deb
35eab03a9bbb03ebe8ef8b4be3cefd52 5960874 libs optional libppl-swi_0.10.2-3_amd64.deb
588849487a5ad4a52ce5b12bfadd1151 3621336 doc optional libppl-doc_0.10.2-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkrau7YACgkQvx6dH3bVKsR9eACeLFB4bksP4eDR5KUe2of8jWgC
pvMAoPlVLF5sP3suVldf6a6SpSdaK3wW
=JWmB
-----END PGP SIGNATURE-----
Accepted:
libppl-c2_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl-c2_0.10.2-3_amd64.deb
libppl-doc_0.10.2-3_all.deb
to pool/main/p/ppl/libppl-doc_0.10.2-3_all.deb
libppl-swi_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl-swi_0.10.2-3_amd64.deb
libppl0.10-dev_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl0.10-dev_0.10.2-3_amd64.deb
libppl7_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl7_0.10.2-3_amd64.deb
libpwl-dev_0.10.2-3_amd64.deb
to pool/main/p/ppl/libpwl-dev_0.10.2-3_amd64.deb
libpwl4_0.10.2-3_amd64.deb
to pool/main/p/ppl/libpwl4_0.10.2-3_amd64.deb
ppl_0.10.2-3.diff.gz
to pool/main/p/ppl/ppl_0.10.2-3.diff.gz
ppl_0.10.2-3.dsc
to pool/main/p/ppl/ppl_0.10.2-3.dsc