Accepted ppl 0.11-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 19 Jan 2011 21:55:49 +0100
Source: ppl
Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.11-3
Distribution: experimental
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@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.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: 606233 606277 608454
Changes:
ppl (0.11-3) experimental; urgency=low
.
* Build-depend on latex-xcolor. Closes: #606277,#606233.
* libppl0.11-dev: Conflicts with libppl0.10-dev. Closes: #608454.
* Thanks Matthias Klose for doing all the work.
Checksums-Sha1:
84d84d17c62ed7d367d268e5d317494a8e7b9676 1437 ppl_0.11-3.dsc
39bdcb2c8d31a19bd04d05ae1c27ccce63520eb8 304003 ppl_0.11-3.debian.tar.gz
deeb96d36d22d980a2c00d323e40de9ea5fb94f8 510970 libppl9_0.11-3_amd64.deb
12c3b2496b13331e156b8b91c4f6d3cda3ae1cfa 3754984 libppl0.11-dev_0.11-3_amd64.deb
b77c344a7da41ec049fc0a1dbc993fde6f09f0e8 1826928 libppl-c4_0.11-3_amd64.deb
e3672cce6c9e7562d7af939f324c62f31f5d3adf 21936 libpwl5_0.11-3_amd64.deb
017c72b4dbfacdaebf5986e8a3611bc432cafded 30826 libpwl-dev_0.11-3_amd64.deb
caa8e221b88ae7f0568d88ac950c0e9a51fcb203 8598318 libppl-swi_0.11-3_amd64.deb
c8baaa0c46184d45dcb711795b824799f0c5085b 4109016 libppl-doc_0.11-3_all.deb
Checksums-Sha256:
66579f768c1944f3d3eff054676ab6c502c77228dcb88141947e8cb3c2e8a597 1437 ppl_0.11-3.dsc
662aac309763a51266348b42a2765a403bb9c50401b58e6a8ff26f2eadf19fe9 304003 ppl_0.11-3.debian.tar.gz
cd789ac80d67d36b5afc1dceb161c104b4d2a839efd2ccd85758d71c74041252 510970 libppl9_0.11-3_amd64.deb
41d402e33c0ef39e0c47177596467b4a9117bedfbdfc74f08269a47a67678fd4 3754984 libppl0.11-dev_0.11-3_amd64.deb
36ab97eb33d305810c338894e6e52b3cbcacc4f892dfb00a134a76b035bd20a7 1826928 libppl-c4_0.11-3_amd64.deb
f7baf2802ae56d292b8f4811f8a5967296733692c364b3f21d4d5e613711fdb3 21936 libpwl5_0.11-3_amd64.deb
c5ad2a87d32dbb4c165e1771df3b698822baee3cb7bced2a42c10542a174149e 30826 libpwl-dev_0.11-3_amd64.deb
eec6950deab3f4d58f1e0b0257685f960b6e7b40de3083b484f9eda18966a788 8598318 libppl-swi_0.11-3_amd64.deb
aed776da7d61aa307b63387a8fc0d717eded8e5b45d6e98d5f5637cf728c862d 4109016 libppl-doc_0.11-3_all.deb
Files:
8a9a370bbae952793f95686ca96f8cc0 1437 libs optional ppl_0.11-3.dsc
2f3258c2a3fafd059b9a8941c431e682 304003 libs optional ppl_0.11-3.debian.tar.gz
56cce03d86b4125fb5fb40a5e088ebf7 510970 libs optional libppl9_0.11-3_amd64.deb
277f14fda3b4425d669a3585be6f934f 3754984 libdevel optional libppl0.11-dev_0.11-3_amd64.deb
4e42d21b87ccbc28d05aa83c07d10a24 1826928 libs optional libppl-c4_0.11-3_amd64.deb
6ee3800b7d4cf248098cf87d18465a85 21936 libs optional libpwl5_0.11-3_amd64.deb
b522c871866ca8477ead837a79f98285 30826 libdevel optional libpwl-dev_0.11-3_amd64.deb
107e5f9aa9ebda9fe6ba9e7b9ad88b2c 8598318 libs optional libppl-swi_0.11-3_amd64.deb
6776ffdb26f4e059ff4edd033c96945d 4109016 doc optional libppl-doc_0.11-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk036/EACgkQvx6dH3bVKsRpMgCgzrv+ef5TFEhxjAdewAQhtw4x
FxkAn0jQ+074GAE4YSCtubGKxTzRnWUC
=5uS0
-----END PGP SIGNATURE-----
Accepted:
libppl-c4_0.11-3_amd64.deb
to main/p/ppl/libppl-c4_0.11-3_amd64.deb
libppl-doc_0.11-3_all.deb
to main/p/ppl/libppl-doc_0.11-3_all.deb
libppl-swi_0.11-3_amd64.deb
to main/p/ppl/libppl-swi_0.11-3_amd64.deb
libppl0.11-dev_0.11-3_amd64.deb
to main/p/ppl/libppl0.11-dev_0.11-3_amd64.deb
libppl9_0.11-3_amd64.deb
to main/p/ppl/libppl9_0.11-3_amd64.deb
libpwl-dev_0.11-3_amd64.deb
to main/p/ppl/libpwl-dev_0.11-3_amd64.deb
libpwl5_0.11-3_amd64.deb
to main/p/ppl/libpwl5_0.11-3_amd64.deb
ppl_0.11-3.debian.tar.gz
to main/p/ppl/ppl_0.11-3.debian.tar.gz
ppl_0.11-3.dsc
to main/p/ppl/ppl_0.11-3.dsc
Reply to: