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: