-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 01 Jan 2011 23:19:49 +0100 Source: ppl0.10 Binary: libppl7 libppl0.10-dev libppl-c2 Architecture: source amd64 Version: 0.10.2-10 Distribution: experimental Urgency: low Maintainer: Debian GCC Maintainers <[email protected]> Changed-By: Matthias Klose <[email protected]> Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7 - Parma Polyhedra Library (runtime library) Changes: ppl0.10 (0.10.2-10) experimental; urgency=low . * Rename the source to ppl0.10. 0.10 is required by GCC-4.4 and GCC-4.5, while GCC-4.6 and gcc-snapshot need 0.11. * Stop building the libpwl4, libpwl-dev, libppl-docand libppl-swi packages from this source. * Add myself to uploaders. Checksums-Sha1: 63604cff78e31206a65f74aa70c534f70e26a5af 1438 ppl0.10_0.10.2-10.dsc 3cc4e9dc2d2c7fbdaa63420a857c9864dcc230d2 10796878 ppl0.10_0.10.2.orig.tar.gz ae43a1f3be667edd86ea22c0fa7a1c080ddaafcc 317117 ppl0.10_0.10.2-10.debian.tar.gz 91fa6c69dc896c5807d70106595e7502d08bcaf5 374666 libppl7_0.10.2-10_amd64.deb ded1dac330d7ec1058d288d938db2e2cc07030b3 2849752 libppl0.10-dev_0.10.2-10_amd64.deb 16382eeefc3c3face9de6cbf8ddc9cde79e6684f 1287994 libppl-c2_0.10.2-10_amd64.deb Checksums-Sha256: 79d6a2ea8ba2e7d754b9b078276e640ac9b7f18b3af1b231e2114a54fd2e2cf4 1438 ppl0.10_0.10.2-10.dsc e6943db6fa6995e526aa8bcd3d10e823dadd258ce773f593fa1635370f3d1548 10796878 ppl0.10_0.10.2.orig.tar.gz a4576476a15cd82a6a634bd7e93a3400b778204152f905054ad1e862dfa644a6 317117 ppl0.10_0.10.2-10.debian.tar.gz a492d978d8d7477e350e35746470852845a73125a28c7b72e6d5ef2910793200 374666 libppl7_0.10.2-10_amd64.deb e5eb84e1e7ab1167bd4a6415e701f8e0b8120e4c408795b8322b08ad0296c2de 2849752 libppl0.10-dev_0.10.2-10_amd64.deb dab2e65bd8ab37cc27001b07d042855cb400286ccf74ea5c5e0a00d824ea5807 1287994 libppl-c2_0.10.2-10_amd64.deb Files: 46de991712fa39c080388559e1ac5142 1438 libs optional ppl0.10_0.10.2-10.dsc 81fe66928d334bbd63a50ecdf4f57918 10796878 libs optional ppl0.10_0.10.2.orig.tar.gz 7226a1da54b12f58c880b8cd8008b05f 317117 libs optional ppl0.10_0.10.2-10.debian.tar.gz 4954994c7fbe5cbf3e8c310e928e94bc 374666 libs optional libppl7_0.10.2-10_amd64.deb bacf12c3b915f12edea72aa6da369202 2849752 libdevel optional libppl0.10-dev_0.10.2-10_amd64.deb 03fdad304a4c23652a9cea6a284e358f 1287994 libs optional libppl-c2_0.10.2-10_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAk0fuJoACgkQStlRaw+TLJyAAACfWokuEBkNFe2rwYEyneKR1YoV OPcAoMAtWcq12aWKA2eKxDEXuVVn5IOz =hZqB -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10.2-10_amd64.deb to main/p/ppl0.10/libppl-c2_0.10.2-10_amd64.deb libppl0.10-dev_0.10.2-10_amd64.deb to main/p/ppl0.10/libppl0.10-dev_0.10.2-10_amd64.deb libppl7_0.10.2-10_amd64.deb to main/p/ppl0.10/libppl7_0.10.2-10_amd64.deb ppl0.10_0.10.2-10.debian.tar.gz to main/p/ppl0.10/ppl0.10_0.10.2-10.debian.tar.gz ppl0.10_0.10.2-10.dsc to main/p/ppl0.10/ppl0.10_0.10.2-10.dsc ppl0.10_0.10.2.orig.tar.gz to main/p/ppl0.10/ppl0.10_0.10.2.orig.tar.gz -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
