-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 07 Oct 2008 22:36:39 +0000 Source: ppl Binary: libppl7 libppl-dev libppl-c2 libpwl4 libpwl-dev libppl-doc Architecture: source i386 all Version: 0.10~pre34-1 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-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl7 - Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog Library (Watchdog timers - development) libpwl4 - Parma Watchdog Library (Watchdog timers - runtime library) Closes: 499746 Changes: ppl (0.10~pre34-1) unstable; urgency=low . [ Arthur Loiret ] * New upstream snapshot. * Fix build on arm. Closes: #499746. * debian/libp[pw]l-dev.preinst: handle /usr/share/doc/libp[pw]l symlink->directory conversion. * debian/rules: - Disable DH_VERBOSE by default. - Some cleanup. * debian/Makefile.in: Update from upstream. . [ Michael Tautschnig ] * Added ocaml-nox to build-depends. * Bumped libppl-c library version. Checksums-Sha1: c6e81a649cb0ef3094d783f9402ac666cbd7f9cb 1405 ppl_0.10~pre34-1.dsc 2f20d9aec14283a4b980641116b6292330c70a7f 13364116 ppl_0.10~pre34.orig.tar.gz e32e55206cc076d538c50093993475ffbcc47da5 15178 ppl_0.10~pre34-1.diff.gz f6114f150aa77e68945518907d6a63aeff21e0a5 350318 libppl7_0.10~pre34-1_i386.deb 2c375cd95f50705cf4abbd077cb1b147bcc68362 3235272 libppl-dev_0.10~pre34-1_i386.deb f1b6ba206d6417c9036c9af0dcf3051edc18b7dd 1190966 libppl-c2_0.10~pre34-1_i386.deb cfb9436b26272a24d33d1ec3136b636fa9cc05a7 38546 libpwl4_0.10~pre34-1_i386.deb bc1533a270e7b2266550e031794bea63c1ebcf84 709446 libpwl-dev_0.10~pre34-1_i386.deb b3fd91da6c2e2202b4578bd47fe70e7ef13ddfe1 40553016 libppl-doc_0.10~pre34-1_all.deb Checksums-Sha256: 16b79ff7b886fe080703780bfeea219387152586ff732bee664ed4a93bf59855 1405 ppl_0.10~pre34-1.dsc 5051058a4442639e2ae93b7c02b574ef95d8f2afe7ee26a9568cbbeca3b49a83 13364116 ppl_0.10~pre34.orig.tar.gz 467eef26319e05044ad958650038e78b871ad239e934afbe1e3e3a8355a1a765 15178 ppl_0.10~pre34-1.diff.gz 69d4ecde5ba2623bddaf65b1891dbe4a8cac177dbbd527efd3693f508f30daa2 350318 libppl7_0.10~pre34-1_i386.deb b474960b9d8a14071a805b25369edc168f59bc06bcd00ded90f9236b94f331df 3235272 libppl-dev_0.10~pre34-1_i386.deb f597c81706e36c85a7a4833182b4bc6afd0e3e06dde40bd1740d86706752a498 1190966 libppl-c2_0.10~pre34-1_i386.deb 0f92c0f6f5fb3016b1e83ed5ddc97d3b5d8b1c78c09a1855e43b866cbd55a92a 38546 libpwl4_0.10~pre34-1_i386.deb 0991bc81fc457509f488e45c29fed39f2965b8831feec03085899417ee317564 709446 libpwl-dev_0.10~pre34-1_i386.deb 97f68f4b22ef8e14ae1602b76af36aa41033ef2e29eef5da1ba9d85d0df593b2 40553016 libppl-doc_0.10~pre34-1_all.deb Files: 6045878bf13a538c49214d99cec6c6ba 1405 libs optional ppl_0.10~pre34-1.dsc f73f5db742c4a43ee0a5997ed51b3451 13364116 libs optional ppl_0.10~pre34.orig.tar.gz a7f1622f741659e67b1ef1ac1b1ec984 15178 libs optional ppl_0.10~pre34-1.diff.gz 43b44e16118ef8f9623fa79387706d87 350318 libs optional libppl7_0.10~pre34-1_i386.deb 2a1f626f8cc3b487e7c475643c4bff65 3235272 libdevel optional libppl-dev_0.10~pre34-1_i386.deb 2148d47b1638a023e966241f6e4df6af 1190966 libs optional libppl-c2_0.10~pre34-1_i386.deb 31622a5610cc50b96617cad782e1f14f 38546 libs optional libpwl4_0.10~pre34-1_i386.deb c986f323ada60c099d4d855c5b537935 709446 libdevel optional libpwl-dev_0.10~pre34-1_i386.deb 193480bff3df97266085871b36e10199 40553016 doc optional libppl-doc_0.10~pre34-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkjsZbUACgkQvx6dH3bVKsSgAACg1bvy5PLxic4WW5aBPrY8QRaO XTAAnA4M6STAR151OzUtG8sBe7Gftvd7 =Z8k3 -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10~pre34-1_i386.deb to pool/main/p/ppl/libppl-c2_0.10~pre34-1_i386.deb libppl-dev_0.10~pre34-1_i386.deb to pool/main/p/ppl/libppl-dev_0.10~pre34-1_i386.deb libppl-doc_0.10~pre34-1_all.deb to pool/main/p/ppl/libppl-doc_0.10~pre34-1_all.deb libppl7_0.10~pre34-1_i386.deb to pool/main/p/ppl/libppl7_0.10~pre34-1_i386.deb libpwl-dev_0.10~pre34-1_i386.deb to pool/main/p/ppl/libpwl-dev_0.10~pre34-1_i386.deb libpwl4_0.10~pre34-1_i386.deb to pool/main/p/ppl/libpwl4_0.10~pre34-1_i386.deb ppl_0.10~pre34-1.diff.gz to pool/main/p/ppl/ppl_0.10~pre34-1.diff.gz ppl_0.10~pre34-1.dsc to pool/main/p/ppl/ppl_0.10~pre34-1.dsc ppl_0.10~pre34.orig.tar.gz to pool/main/p/ppl/ppl_0.10~pre34.orig.tar.gz
