Accepted ppl 1:1.1-3 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 25 Jul 2014 10:55:11 +0200
Source: ppl
Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source amd64 all
Version: 1:1.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-dev - Parma Polyhedra Library (development)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl13 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Closes: 751355 755959
Changes:
ppl (1:1.1-3) unstable; urgency=medium
.
* Build using dh-autoreconf instead of autotools-dev. Closes: #755959.
* Define our own \+ latex command. Closes: #751355.
* Fix linking of libppl_tests.
Checksums-Sha1:
e1a66da8e446902b123dce902c08e4d2860b2347 1555 ppl_1.1-3.dsc
4581a9b700cab023791e61eb19b29c45eb991a7d 10552 ppl_1.1-3.debian.tar.xz
1770c86f70d22801121e9e734566ad2195451608 606056 libppl13_1.1-3_amd64.deb
a54df556b864d4019ad1c3ce819b8cbc50ed0e32 2069994 libppl-dev_1.1-3_amd64.deb
cf697a4ef65cd8677a78167407e95c9c56d1a223 200764 ppl-dev_1.1-3_amd64.deb
8c6295e4fc61c3e426c5794ed169a43ac3c6b5e3 961718 libppl-c4_1.1-3_amd64.deb
6498b3e7a506a3849beeea3c97ace50f601dd9a1 2637958 libppl-swi_1.1-3_amd64.deb
69fa8134b8acdf809d7e949beb7bf513db28ea84 6648058 libppl-doc_1.1-3_all.deb
Checksums-Sha256:
7f58b451835c50ab1b591bfb7fcef9f49b8fffa220dabe9de85f93ffd1fe3dcd 1555 ppl_1.1-3.dsc
2c101963e6db3411f664da96d9bf52569647ca75255f7f73fa154c881235f736 10552 ppl_1.1-3.debian.tar.xz
95726982b60cf4e4acc4fccdb5400615262245aacc1ca812da8c9dca00813927 606056 libppl13_1.1-3_amd64.deb
e3f101d802ef1387782d592364f5f20dd15516180618c2ff5d278621df305920 2069994 libppl-dev_1.1-3_amd64.deb
cc5694827aedfea8c9005e52c275509693182ebbf86e539979239a247457df24 200764 ppl-dev_1.1-3_amd64.deb
f649e3c2a22f2319d8db7f22239c7ce01388251ea86cb5f55e6bb3748196ee4b 961718 libppl-c4_1.1-3_amd64.deb
868b58b0a2289be29b01ad6ba157d1bbf6c669a7fc71ccbb18258b5643b8860d 2637958 libppl-swi_1.1-3_amd64.deb
ed2832dcc96a984d08ef4c8357f946532040d5be620bb3728f1cf33349ec7e30 6648058 libppl-doc_1.1-3_all.deb
Files:
f5eb4989ed51a895d742240cd379ed01 606056 libs optional libppl13_1.1-3_amd64.deb
20a3a9efdb19d9e8fc7a1fdcc25eddfd 2069994 libdevel optional libppl-dev_1.1-3_amd64.deb
cc671ac902d30bdf3b3cf95042ba911f 200764 devel optional ppl-dev_1.1-3_amd64.deb
049ef60aec19c842e5c9226d0b47b399 961718 libs optional libppl-c4_1.1-3_amd64.deb
2ac0234367c02aa4701b1253a466b181 2637958 libs optional libppl-swi_1.1-3_amd64.deb
1c64f3648c611ce11a132e11855d61ee 6648058 doc optional libppl-doc_1.1-3_all.deb
33b47d765a9f229f13a7ffa7c2cbf400 1555 libs optional ppl_1.1-3.dsc
d4d4f8c1f92e624c3d1126cf0e0ac9a5 10552 libs optional ppl_1.1-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlPSol8ACgkQStlRaw+TLJywmACghUI7qMbKQCUdJSkVSRUN6t3V
h1AAnRziiVFXs9JIp50ReR50ci/rGg+f
=lObD
-----END PGP SIGNATURE-----