[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted ppl 0.10~pre34-1 (source i386 all)



-----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


Reply to: