-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 01 Aug 2010 12:22:05 +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-7 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: 591155 Changes: ppl (0.10.2-7) unstable; urgency=low . * Drop xpdf-utils from build depends to fix FTBFS. Closes: #591155. * Bumped Standars-Version to 3.9.1 (no changes). * Specifically require automake1.10 as we modify some Makefile.am. * swi-prolog now ships executable linker as swipl-ld. Checksums-Sha1: d1941a3609e71bb970a32cd321336b3ead66809d 1473 ppl_0.10.2-7.dsc 859e6aa9bf527bb779103e54ba80eeaeecd35d98 456670 ppl_0.10.2-7.debian.tar.gz f9f73de7e698a2e6c25f156b4e7536235154a927 373864 libppl7_0.10.2-7_amd64.deb 5e7571f290029b3aac437fd67618f2c4d1cc3258 2851742 libppl0.10-dev_0.10.2-7_amd64.deb 88389f6b464ad127f3974fbda63a906cbc5f04e8 1288036 libppl-c2_0.10.2-7_amd64.deb 9730673174dd608156e13e69c099809787ea0762 19408 libpwl4_0.10.2-7_amd64.deb ad9f3c8bee35b2e7399b42f7126bc1cfd4381c62 26280 libpwl-dev_0.10.2-7_amd64.deb 39e1f463295c6c551ef5f6188005d1c6a78264e3 6079836 libppl-swi_0.10.2-7_amd64.deb b7aee72811d562008acadaecd32e0e2cfc1b5d0c 3621392 libppl-doc_0.10.2-7_all.deb Checksums-Sha256: e362c891ae74790432a69ec452ce398262934e67150db39adde0f92c4188c19c 1473 ppl_0.10.2-7.dsc 6df506e3c808776155fe5ef6a79e98df287b5bab271f0d8ce9fa3a040966b404 456670 ppl_0.10.2-7.debian.tar.gz 63cc2403c647d13cb0158bebc03ca89b64e4e1b8e993651e8ffd944b0064fc14 373864 libppl7_0.10.2-7_amd64.deb ff8e0717af8fa6e4ad3de8ef5ad96db1c4c8b5c30a7d33bea11fb2c7ddc745d4 2851742 libppl0.10-dev_0.10.2-7_amd64.deb 8a5bb4a70ec423e28647a4a5a33dfbae44823e1dbea9b449c74b3fc6d22aa89d 1288036 libppl-c2_0.10.2-7_amd64.deb df8ae72a1cbf166751fb89e372cd9b27311f3e3569ee32b2c334a2e5a3f937a3 19408 libpwl4_0.10.2-7_amd64.deb 4c4a6157f7687cbd049e8945a0a32e974b7ce5634d670641e26cadbb6dc2614b 26280 libpwl-dev_0.10.2-7_amd64.deb b3bf9eb3a5851c0a3915290709388c09bb53a7e6fe2b8c75fa305e03fd1f20c1 6079836 libppl-swi_0.10.2-7_amd64.deb 741baf7e4bc5ca9214a43c38f5338b811718fa9a14cf8d79128f852d1a3bdcfd 3621392 libppl-doc_0.10.2-7_all.deb Files: fd25d2998035ff5f45628580932cb10a 1473 libs optional ppl_0.10.2-7.dsc 19c84597f9d9dd5c956561e0ca819ee4 456670 libs optional ppl_0.10.2-7.debian.tar.gz f9e91ae38a383cd99e1992886af884ef 373864 libs optional libppl7_0.10.2-7_amd64.deb 1f862ffe9d86dc27cfc87b54afada162 2851742 libdevel optional libppl0.10-dev_0.10.2-7_amd64.deb 62d875a4729e38c7a942a7b077fb66d7 1288036 libs optional libppl-c2_0.10.2-7_amd64.deb 9c78598dee8e82d713e3a02bff2e7e2d 19408 libs optional libpwl4_0.10.2-7_amd64.deb 050c2c07f950b951031d900f7c80e417 26280 libdevel optional libpwl-dev_0.10.2-7_amd64.deb aec1753829b9d916aba1b96ae8a3ef36 6079836 libs optional libppl-swi_0.10.2-7_amd64.deb 6d1cbb1c52c2ab9f6d2fe0e4a7f427d5 3621392 doc optional libppl-doc_0.10.2-7_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxVq0cACgkQvx6dH3bVKsSwzgCfV5TbEtNtaj8u1H4OLOo7vcT0 CC8AoLl9jAxGsydw8Oz7MIrsVe451cPX =FUT8 -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10.2-7_amd64.deb to main/p/ppl/libppl-c2_0.10.2-7_amd64.deb libppl-doc_0.10.2-7_all.deb to main/p/ppl/libppl-doc_0.10.2-7_all.deb libppl-swi_0.10.2-7_amd64.deb to main/p/ppl/libppl-swi_0.10.2-7_amd64.deb libppl0.10-dev_0.10.2-7_amd64.deb to main/p/ppl/libppl0.10-dev_0.10.2-7_amd64.deb libppl7_0.10.2-7_amd64.deb to main/p/ppl/libppl7_0.10.2-7_amd64.deb libpwl-dev_0.10.2-7_amd64.deb to main/p/ppl/libpwl-dev_0.10.2-7_amd64.deb libpwl4_0.10.2-7_amd64.deb to main/p/ppl/libpwl4_0.10.2-7_amd64.deb ppl_0.10.2-7.debian.tar.gz to main/p/ppl/ppl_0.10.2-7.debian.tar.gz ppl_0.10.2-7.dsc to main/p/ppl/ppl_0.10.2-7.dsc
