Back to ppl PTS page

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