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