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