Accepted ppl 1:1.0-7 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 09 May 2013 12:46:30 +0200
Source: ppl
Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source amd64 all
Version: 1:1.0-7
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-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl0.12-dev - Parma Polyhedra Library (development)
libppl12 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Changes:
ppl (1:1.0-7) unstable; urgency=medium
.
* Fix typo in libppl-doc dependencies.
* Proper fix to build with both gmp 5.0 and 5.1.
Checksums-Sha1:
d88a6cf617c24307fb6188252b583abb7727dbbf 1585 ppl_1.0-7.dsc
de50510ded8cb363cb9ba750ce79ce5219f7af99 12574 ppl_1.0-7.debian.tar.gz
997c7f6f282781e2cabffe1ea1596e03947ad823 721338 libppl12_1.0-7_amd64.deb
0d707d24784a272f85f626bf52af9900cafda8c2 3962312 libppl0.12-dev_1.0-7_amd64.deb
895b25c661786ad7000b3f1a4cdb2c7e344bd803 187710 ppl-dev_1.0-7_amd64.deb
de7bf153b99ca8ca43f4c347a7658979f0f9fafe 1502762 libppl-c4_1.0-7_amd64.deb
7e8db7c35de2253139bd41f336ca49b6fe8b1cec 5781480 libppl-swi_1.0-7_amd64.deb
70a06a77913b512ab1a8e91b6e7f58622128fd8f 7396900 libppl-doc_1.0-7_all.deb
Checksums-Sha256:
a7be69015cdcfe9f48483450b05402aa4f63f2bd5c80c139ca998046f54515cb 1585 ppl_1.0-7.dsc
7a970ee6dc8fa730948786b0e19023d3f66d074ca961a0714f3735e6f5706474 12574 ppl_1.0-7.debian.tar.gz
fdaad36c5056f8a88ebe887407640cb0c2285fad636193c8da0bc8152d6aea6c 721338 libppl12_1.0-7_amd64.deb
e9174f6499cdd4f28b648e06705acff80a193f820a3ea048b666f6ce77426064 3962312 libppl0.12-dev_1.0-7_amd64.deb
b94a8d5d8941d53b852fc0775a3ef8092632fe3f7632a16d3c7fb3ebad100495 187710 ppl-dev_1.0-7_amd64.deb
747e9dd637b95ac89c79e51b81e2d42caa75623111b48ea7a9b436f8c393cd69 1502762 libppl-c4_1.0-7_amd64.deb
364370da1e87d9c5b5ee455fd9c3eeeedd1265b83f620590940b48bd13664822 5781480 libppl-swi_1.0-7_amd64.deb
43ced6b927a481ebfef94643d3faa8befbc7bd1c8b2ca85d4702a5cd40bd123f 7396900 libppl-doc_1.0-7_all.deb
Files:
40c50bd1cf6d548204b941ee590771c3 1585 libs optional ppl_1.0-7.dsc
2e74f7fa4bb1de881d856a7e682835a9 12574 libs optional ppl_1.0-7.debian.tar.gz
1b4b357af8856a8481dbab542e976fca 721338 libs optional libppl12_1.0-7_amd64.deb
de857f55dae3ab95db4820bd5f61f5ec 3962312 libdevel optional libppl0.12-dev_1.0-7_amd64.deb
05fbd3f1ad7112cb84d8be98d55d843b 187710 devel optional ppl-dev_1.0-7_amd64.deb
8384fb3a19ddbdd482e9c3530a1c3893 1502762 libs optional libppl-c4_1.0-7_amd64.deb
640385cce5904b2de356fe7382d45348 5781480 libs optional libppl-swi_1.0-7_amd64.deb
7dd4f418a70ff89440c4f096e26751bd 7396900 doc optional libppl-doc_1.0-7_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlGLlj8ACgkQStlRaw+TLJx/iQCfcR/O52jMU+z6gelbpVou4Z/f
25YAoK7P2Hc44DsXDIMVDvomdNvu62Hw
=/BV5
-----END PGP SIGNATURE-----