Accepted ppl0.10 0.10.2-10 (source amd64)
-----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 <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
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
Reply to: