-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 19 Jan 2011 21:55:49 +0100 Source: ppl Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.11-3 Distribution: experimental Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9 - Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog Library (Watchdog timers - development) libpwl5 - Parma Watchdog Library (Watchdog timers - runtime library) Closes: 606233 606277 608454 Changes: ppl (0.11-3) experimental; urgency=low . * Build-depend on latex-xcolor. Closes: #606277,#606233. * libppl0.11-dev: Conflicts with libppl0.10-dev. Closes: #608454. * Thanks Matthias Klose for doing all the work. Checksums-Sha1: 84d84d17c62ed7d367d268e5d317494a8e7b9676 1437 ppl_0.11-3.dsc 39bdcb2c8d31a19bd04d05ae1c27ccce63520eb8 304003 ppl_0.11-3.debian.tar.gz deeb96d36d22d980a2c00d323e40de9ea5fb94f8 510970 libppl9_0.11-3_amd64.deb 12c3b2496b13331e156b8b91c4f6d3cda3ae1cfa 3754984 libppl0.11-dev_0.11-3_amd64.deb b77c344a7da41ec049fc0a1dbc993fde6f09f0e8 1826928 libppl-c4_0.11-3_amd64.deb e3672cce6c9e7562d7af939f324c62f31f5d3adf 21936 libpwl5_0.11-3_amd64.deb 017c72b4dbfacdaebf5986e8a3611bc432cafded 30826 libpwl-dev_0.11-3_amd64.deb caa8e221b88ae7f0568d88ac950c0e9a51fcb203 8598318 libppl-swi_0.11-3_amd64.deb c8baaa0c46184d45dcb711795b824799f0c5085b 4109016 libppl-doc_0.11-3_all.deb Checksums-Sha256: 66579f768c1944f3d3eff054676ab6c502c77228dcb88141947e8cb3c2e8a597 1437 ppl_0.11-3.dsc 662aac309763a51266348b42a2765a403bb9c50401b58e6a8ff26f2eadf19fe9 304003 ppl_0.11-3.debian.tar.gz cd789ac80d67d36b5afc1dceb161c104b4d2a839efd2ccd85758d71c74041252 510970 libppl9_0.11-3_amd64.deb 41d402e33c0ef39e0c47177596467b4a9117bedfbdfc74f08269a47a67678fd4 3754984 libppl0.11-dev_0.11-3_amd64.deb 36ab97eb33d305810c338894e6e52b3cbcacc4f892dfb00a134a76b035bd20a7 1826928 libppl-c4_0.11-3_amd64.deb f7baf2802ae56d292b8f4811f8a5967296733692c364b3f21d4d5e613711fdb3 21936 libpwl5_0.11-3_amd64.deb c5ad2a87d32dbb4c165e1771df3b698822baee3cb7bced2a42c10542a174149e 30826 libpwl-dev_0.11-3_amd64.deb eec6950deab3f4d58f1e0b0257685f960b6e7b40de3083b484f9eda18966a788 8598318 libppl-swi_0.11-3_amd64.deb aed776da7d61aa307b63387a8fc0d717eded8e5b45d6e98d5f5637cf728c862d 4109016 libppl-doc_0.11-3_all.deb Files: 8a9a370bbae952793f95686ca96f8cc0 1437 libs optional ppl_0.11-3.dsc 2f3258c2a3fafd059b9a8941c431e682 304003 libs optional ppl_0.11-3.debian.tar.gz 56cce03d86b4125fb5fb40a5e088ebf7 510970 libs optional libppl9_0.11-3_amd64.deb 277f14fda3b4425d669a3585be6f934f 3754984 libdevel optional libppl0.11-dev_0.11-3_amd64.deb 4e42d21b87ccbc28d05aa83c07d10a24 1826928 libs optional libppl-c4_0.11-3_amd64.deb 6ee3800b7d4cf248098cf87d18465a85 21936 libs optional libpwl5_0.11-3_amd64.deb b522c871866ca8477ead837a79f98285 30826 libdevel optional libpwl-dev_0.11-3_amd64.deb 107e5f9aa9ebda9fe6ba9e7b9ad88b2c 8598318 libs optional libppl-swi_0.11-3_amd64.deb 6776ffdb26f4e059ff4edd033c96945d 4109016 doc optional libppl-doc_0.11-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAk036/EACgkQvx6dH3bVKsRpMgCgzrv+ef5TFEhxjAdewAQhtw4x FxkAn0jQ+074GAE4YSCtubGKxTzRnWUC =5uS0 -----END PGP SIGNATURE----- Accepted: libppl-c4_0.11-3_amd64.deb to main/p/ppl/libppl-c4_0.11-3_amd64.deb libppl-doc_0.11-3_all.deb to main/p/ppl/libppl-doc_0.11-3_all.deb libppl-swi_0.11-3_amd64.deb to main/p/ppl/libppl-swi_0.11-3_amd64.deb libppl0.11-dev_0.11-3_amd64.deb to main/p/ppl/libppl0.11-dev_0.11-3_amd64.deb libppl9_0.11-3_amd64.deb to main/p/ppl/libppl9_0.11-3_amd64.deb libpwl-dev_0.11-3_amd64.deb to main/p/ppl/libpwl-dev_0.11-3_amd64.deb libpwl5_0.11-3_amd64.deb to main/p/ppl/libpwl5_0.11-3_amd64.deb ppl_0.11-3.debian.tar.gz to main/p/ppl/ppl_0.11-3.debian.tar.gz ppl_0.11-3.dsc to main/p/ppl/ppl_0.11-3.dsc
