-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 26 Oct 2010 14:18:12 +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-9 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: 601445 Changes: ppl (0.10.2-9) unstable; urgency=low . * m68k hasn't fully caught up yet, don't build PPL Prolog interface on m68k. Closes: #601445. * Re-enabled Prolog interface on kfreebsd-* as swi-prolog is now available. Checksums-Sha1: 4464de9734ca341687ec1c55937ead202733957e 1466 ppl_0.10.2-9.dsc 324c986c1cd5a1369de1512922752cc9dac48710 318088 ppl_0.10.2-9.debian.tar.gz 0bfa6b6ba392bd0263af850f99f348fea0c102d0 374050 libppl7_0.10.2-9_amd64.deb ea83e5e33589a27b8771b8c11eb512f2f5a10f25 2851188 libppl0.10-dev_0.10.2-9_amd64.deb 501458e623123fb15355ed51f56307dfe520589e 1288040 libppl-c2_0.10.2-9_amd64.deb dc0f5c2298e0cb3b29e71ad6cc477fb1979948de 19592 libpwl4_0.10.2-9_amd64.deb bc155a4b2552955ea1dfd4de491b5ad55d83471d 26414 libpwl-dev_0.10.2-9_amd64.deb bf22e5072f9e8781a29ed4f6c0c59c59a5e7dc5a 6098814 libppl-swi_0.10.2-9_amd64.deb ac6b4bce5e8e1e6bbcce9e0cf1c140f0675ddbb9 3621572 libppl-doc_0.10.2-9_all.deb Checksums-Sha256: ac1b4ad6c85951a72cc58c04f84ec39fe556ada7db10c8ece5be154f7559a4a7 1466 ppl_0.10.2-9.dsc 7ffba207110e1f7d4a212856f199092dc2272582e9443a5e0552cdbf5a9fc595 318088 ppl_0.10.2-9.debian.tar.gz 3bc5129847cafc2343e917446ebbe26311c7acad13afcd249baac461d88d7d2a 374050 libppl7_0.10.2-9_amd64.deb 725734c980964b7a2f322ab229f1e23b2f29ebfb10e6ce597e593ce58772a19b 2851188 libppl0.10-dev_0.10.2-9_amd64.deb acb3a3a302957a39ea6d3e623919e92e7f240667072fbb084227c8d99899cc55 1288040 libppl-c2_0.10.2-9_amd64.deb 8c236ebd485629b2dd5bb228e811e47c99b05c406000dde9e4695ac0fad3bcea 19592 libpwl4_0.10.2-9_amd64.deb 1e65cb12af5c4a5cb8cc363bf7ce91a2433e6b2cf3b8786a76153417e211da82 26414 libpwl-dev_0.10.2-9_amd64.deb ce3cc4a0a984d4cd3e52eeb09b97788224e97e91a3a49ef39a7a18d7f745bac1 6098814 libppl-swi_0.10.2-9_amd64.deb a82f15c64e1eb4f457dd30fbe1c60b6919216817c3f56774aa79897276248b70 3621572 libppl-doc_0.10.2-9_all.deb Files: 004333b792defe926ae7c322d11a8679 1466 libs optional ppl_0.10.2-9.dsc 174b73fc83f7bcbce063506e53182b77 318088 libs optional ppl_0.10.2-9.debian.tar.gz 8f5bd0d3894b7eaf79183f4b871bb42f 374050 libs optional libppl7_0.10.2-9_amd64.deb 0a42dd1cecac38698c1cb217d47276f6 2851188 libdevel optional libppl0.10-dev_0.10.2-9_amd64.deb 64d986d5410020dc63b1b4169808d4f2 1288040 libs optional libppl-c2_0.10.2-9_amd64.deb 2b321ef97f3459d60a4e9da18ee0bcf9 19592 libs optional libpwl4_0.10.2-9_amd64.deb 5e948e659a784e20fba2cb3910cfb1f9 26414 libdevel optional libpwl-dev_0.10.2-9_amd64.deb 085d2f80de821bb2209c4352ce0f0f8c 6098814 libs optional libppl-swi_0.10.2-9_amd64.deb 0fd5bf59b7f725d53eeda20605159d3e 3621572 doc optional libppl-doc_0.10.2-9_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkzHFY8ACgkQvx6dH3bVKsTq0ACg6y14Lr5LU0kntLTzaiVZlDA2 In8An19hSrTC3TD1c135fZ47WFVbFOh5 =w8nc -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10.2-9_amd64.deb to main/p/ppl/libppl-c2_0.10.2-9_amd64.deb libppl-doc_0.10.2-9_all.deb to main/p/ppl/libppl-doc_0.10.2-9_all.deb libppl-swi_0.10.2-9_amd64.deb to main/p/ppl/libppl-swi_0.10.2-9_amd64.deb libppl0.10-dev_0.10.2-9_amd64.deb to main/p/ppl/libppl0.10-dev_0.10.2-9_amd64.deb libppl7_0.10.2-9_amd64.deb to main/p/ppl/libppl7_0.10.2-9_amd64.deb libpwl-dev_0.10.2-9_amd64.deb to main/p/ppl/libpwl-dev_0.10.2-9_amd64.deb libpwl4_0.10.2-9_amd64.deb to main/p/ppl/libpwl4_0.10.2-9_amd64.deb ppl_0.10.2-9.debian.tar.gz to main/p/ppl/ppl_0.10.2-9.debian.tar.gz ppl_0.10.2-9.dsc to main/p/ppl/ppl_0.10.2-9.dsc
