-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 08 Mar 2011 01:14:00 +0100 Source: ppl Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.11.2-2 Distribution: unstable 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) Changes: ppl (0.11.2-2) unstable; urgency=low . * Build-depends libgmp-dev instead of libgmp3-dev. Checksums-Sha1: 0fb160104c712a757352a446e301482e245ed731 1328 ppl_0.11.2-2.dsc 01d3105babbc94aaaa1cdd650e26b2eb4dc8deb7 304316 ppl_0.11.2-2.debian.tar.gz 36a798c3b9ad12fe6154a81fe4870ca3389c5c57 543780 libppl9_0.11.2-2_amd64.deb 2958ba979aaf1e0eb9815d2a95daa0727600b064 3491822 libppl0.11-dev_0.11.2-2_amd64.deb df39e898f87accd8b4cfc729e8e70e680e76d1f6 1505376 libppl-c4_0.11.2-2_amd64.deb 3a4f8a2cf3b5c8a670444d7f9120640deffc2ec4 29912 libpwl5_0.11.2-2_amd64.deb ad6d1088347be59b12a97b456a62d5b531b2c637 39254 libpwl-dev_0.11.2-2_amd64.deb 3eebd94c237c8d5c8ea84a9cc19e58c1aea11d54 7120608 libppl-swi_0.11.2-2_amd64.deb f563c642072ad651cd228301416cf28b23ac8787 4439762 libppl-doc_0.11.2-2_all.deb Checksums-Sha256: 06b38683836743b1102d07bfbee7624c26ed990d63268f559bc66e98b2faae05 1328 ppl_0.11.2-2.dsc 7a2359d415b1a7f64d67847db8c0e9a49772fed769c04ccb1ce86ac06d5c2d32 304316 ppl_0.11.2-2.debian.tar.gz 342875a9f5634f13f872f2c36a59a1da040a71ac1dcd6a40ee1a4355a266503f 543780 libppl9_0.11.2-2_amd64.deb 1f76c580b5341bcfacf2b1dae702aa52d8386d19bda88cf3c719536b08699935 3491822 libppl0.11-dev_0.11.2-2_amd64.deb 32c88bc4daf406b73923ec6de7a8342014dee6b2cd4300f11fdeff0b7df0c2c4 1505376 libppl-c4_0.11.2-2_amd64.deb 76a93c2d001788ae759b4fee1b441b974b4c14125e8d7c619c792d02727c772b 29912 libpwl5_0.11.2-2_amd64.deb 871a03b259b26b4a59e220c68e450320a3870ef1f475e2b6704d8a4501af9281 39254 libpwl-dev_0.11.2-2_amd64.deb 848405b3d7db8ee731cdfd041ac75f3ccd2014cc203793c240f3483d4b3afba9 7120608 libppl-swi_0.11.2-2_amd64.deb 7e145cbe58cfa7beba6a6c40c64bb81288d5d72d248a0ee1e640cc35e7688bbe 4439762 libppl-doc_0.11.2-2_all.deb Files: 0c4f245ca69fa1b3465764ba7e499dc9 1328 libs optional ppl_0.11.2-2.dsc 78f6567ac1fa172a09ac79ce1afde073 304316 libs optional ppl_0.11.2-2.debian.tar.gz e631d2820438a6f026d6ecfd80f0baf6 543780 libs optional libppl9_0.11.2-2_amd64.deb 7fa8263221d0128e81bcc98f69f46dd8 3491822 libdevel optional libppl0.11-dev_0.11.2-2_amd64.deb 39c75cfbaa00ee8c596e87237b20b593 1505376 libs optional libppl-c4_0.11.2-2_amd64.deb 16842a7ee4167bc3b586acd32859c325 29912 libs optional libpwl5_0.11.2-2_amd64.deb 4dc55ee79e5470c2f6e577aae3649aa0 39254 libdevel optional libpwl-dev_0.11.2-2_amd64.deb 1a6c8ea0962ab4918a2dad7a598edde6 7120608 libs optional libppl-swi_0.11.2-2_amd64.deb 81e4d5a98db659285c3d40057dc7bff7 4439762 doc optional libppl-doc_0.11.2-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk12QjkACgkQvx6dH3bVKsQo6ACfX9xZ208vUSq3P25dpAOCKn3S sB4An0rRteFViWSbkX7+jzIGnVdTNCf4 =Q3na -----END PGP SIGNATURE----- Accepted: libppl-c4_0.11.2-2_amd64.deb to main/p/ppl/libppl-c4_0.11.2-2_amd64.deb libppl-doc_0.11.2-2_all.deb to main/p/ppl/libppl-doc_0.11.2-2_all.deb libppl-swi_0.11.2-2_amd64.deb to main/p/ppl/libppl-swi_0.11.2-2_amd64.deb libppl0.11-dev_0.11.2-2_amd64.deb to main/p/ppl/libppl0.11-dev_0.11.2-2_amd64.deb libppl9_0.11.2-2_amd64.deb to main/p/ppl/libppl9_0.11.2-2_amd64.deb libpwl-dev_0.11.2-2_amd64.deb to main/p/ppl/libpwl-dev_0.11.2-2_amd64.deb libpwl5_0.11.2-2_amd64.deb to main/p/ppl/libpwl5_0.11.2-2_amd64.deb ppl_0.11.2-2.debian.tar.gz to main/p/ppl/ppl_0.11.2-2.debian.tar.gz ppl_0.11.2-2.dsc to main/p/ppl/ppl_0.11.2-2.dsc
