-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 03 Aug 2012 18:50:55 +0200 Source: ppl Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.11.2-6.2 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Nicolas Boulenguez <nicolas.boulenguez@free.fr> Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9 - Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog Library (Watchdog timers - development) libpwl5 - Parma Watchdog Library (Watchdog timers - runtime library) Closes: 683767 Changes: ppl (0.11.2-6.2) unstable; urgency=low . * Non-maintainer upload. . [ Colin Watson <cjwatson@ubuntu.com> ] * Build the test suite with -gstabs rather than -g on powerpc, to avoid running out of memory, see Ubuntu bug #941676 (Closes: #683767) Checksums-Sha1: f48d6fe75a65df7dd647c1627bbb4bf93a72295e 1956 ppl_0.11.2-6.2.dsc 044f4574a2e2ef35adda11ce8a4a5e85f8409b9c 14897 ppl_0.11.2-6.2.debian.tar.gz b2df0a0d9ea5b9f3f9d73098caac221edc3966c9 539634 libppl9_0.11.2-6.2_amd64.deb 0e6e5eaea71d7f05ba4e30cdbccb7f6bbe3d575d 3618368 libppl0.11-dev_0.11.2-6.2_amd64.deb c94fb6cdb579a77903c1c1eabd59a841b22a4b7e 1516252 libppl-c4_0.11.2-6.2_amd64.deb 39dda15d3bcde0f3783db71d55b356ac09e5b7eb 30350 libpwl5_0.11.2-6.2_amd64.deb cb74ca02ecc1377e80c7b484748256ee123d4538 40090 libpwl-dev_0.11.2-6.2_amd64.deb 34ac134c45e3b1e5a80ed2e280c9d9f8b11ad657 5393948 libppl-swi_0.11.2-6.2_amd64.deb 3301806b236ab2dd03ab65a7f8026e222b69c449 4329370 libppl-doc_0.11.2-6.2_all.deb Checksums-Sha256: 86250b5b1871f40267a3b31ef828f1940241028653589112e4264f012f82a885 1956 ppl_0.11.2-6.2.dsc 178a0b60575dff0f93bdfc4c71c175fd0e35358c16fe5e2e7f8d552485a271bb 14897 ppl_0.11.2-6.2.debian.tar.gz 8cc68377dd1c4aeb069a25ec312898f8e44365753871c7c993cf4b80fe73e5bf 539634 libppl9_0.11.2-6.2_amd64.deb 3d983ff343957489839ae53421e252f4f37423c5179d7009494afa216bef4d55 3618368 libppl0.11-dev_0.11.2-6.2_amd64.deb ad3ec0a2d4a068c0e0a223bd36380b0aa28ec2734e1bbf3029b969cc904b3e31 1516252 libppl-c4_0.11.2-6.2_amd64.deb 3eade5b470d903ce7a621404270fd1fca921d8389a4f479d319ea166e67e2459 30350 libpwl5_0.11.2-6.2_amd64.deb a324cc99514ccd3ef7bca8459f424febe0fdebe3be2481bac6ebf4d8ae5125ce 40090 libpwl-dev_0.11.2-6.2_amd64.deb 76e0cac038a66fc6a6ebc6a568d4e72fd3c68ff1455c817e4aa8b5c7f196721a 5393948 libppl-swi_0.11.2-6.2_amd64.deb 31c9cbb39769ca227a020194bd7b9bbd87184caf11b1a86870e5a77b10dbfbb9 4329370 libppl-doc_0.11.2-6.2_all.deb Files: ecdc72df146fee32d39f32c17372cbd5 1956 libs optional ppl_0.11.2-6.2.dsc 110c7daba55857319dc0b3ebe4f1a262 14897 libs optional ppl_0.11.2-6.2.debian.tar.gz 3b6e7b3f96ba8902d5a0172576276aa0 539634 libs optional libppl9_0.11.2-6.2_amd64.deb b2e8d709f931751b411dbf501b0bdc17 3618368 libdevel optional libppl0.11-dev_0.11.2-6.2_amd64.deb ff107dc9f66db25ab69d40d6bb4b3ded 1516252 libs optional libppl-c4_0.11.2-6.2_amd64.deb e3570b855550e86ea49ce3c4517b5156 30350 libs optional libpwl5_0.11.2-6.2_amd64.deb 4c593898fdf69c06cc65f0a420663be5 40090 libdevel optional libpwl-dev_0.11.2-6.2_amd64.deb 186b080a8a3d4e678e878d84b375c60a 5393948 libs optional libppl-swi_0.11.2-6.2_amd64.deb 048833aedbe7f2797b01decb8e24fcce 4329370 doc optional libppl-doc_0.11.2-6.2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJQHVM4AAoJEFb2GnlAHawELJEIAJk3JIY+kbK5I1VO96ENcO05 R4+GZc9XBcunLk9OsMsCfbYSPbY3TyFa9a3JEhguWyPIHZ5xAOVqjdDhjhQrJ5Hn NwlboYVEkasfFyy/jvNFPMox1qPVB2JWS398tdgpicf3BmvdzvqLrlIDndF+Bowd 1JQvTtiYtDIrvzyDpJOPA7i5O3aNUnzlfJ/nG9QGIVlnFIlqbkxV5gACllxrzIkW jJQW+voUSgH+57Qvz2wYaRCFiYZptF69sq7ER6QZo49ZlGGhHTZF5V16x1nluX53 s0myEUvz8kblXpYWvpYy1kbBnZju+gcUh9PaupOp7lVra/9AxKoDASXMEjEn6Es= =hH5W -----END PGP SIGNATURE-----
