Accepted ppl 0.11.2-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 03 Mar 2011 12:50:57 +0100
Source: ppl
Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.11.2-1
Distribution: unstable
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: 616275
Changes:
ppl (0.11.2-1) unstable; urgency=low
.
* New upstream version.
* Upload to unstable.
* Build-depend on doxygen-latex instead of latex-xcolor and texlive-* stuff.
Closes: #616275.
* Refined watch file pattern.
Checksums-Sha1:
3c207355c1257543c7f5857d289288701c873a2c 1329 ppl_0.11.2-1.dsc
915f1d8a7def10e540bf2806babf94dccd15852a 12348525 ppl_0.11.2.orig.tar.bz2
49e1dbada95b88c77e5424fd9e5f12fe3938cfc5 304232 ppl_0.11.2-1.debian.tar.gz
1463f8dbbb2475a0d701d5b61ac2beb185085622 529142 libppl9_0.11.2-1_amd64.deb
19bd9c1d626b382f72d9146025ca790b470d1caf 3531256 libppl0.11-dev_0.11.2-1_amd64.deb
3c0170456b4396bd19c9ff08d2ef1f7c8152d401 1668726 libppl-c4_0.11.2-1_amd64.deb
d9c3d5e72758f38c337cc26132d6168a387f7a66 29720 libpwl5_0.11.2-1_amd64.deb
b01d46e86391a26e49bc43044501124b0617481c 39096 libpwl-dev_0.11.2-1_amd64.deb
5a0715da38de165040ee00311fbfdc36d72eb11c 7864948 libppl-swi_0.11.2-1_amd64.deb
5d374a78030e1d9c0af3d6abfa1cdbc1b3d394c8 4439718 libppl-doc_0.11.2-1_all.deb
Checksums-Sha256:
ac039ae4370af4b79d4518a14f93ac7b4d771f7fada946bedd20cd22b0074603 1329 ppl_0.11.2-1.dsc
e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb 12348525 ppl_0.11.2.orig.tar.bz2
8fceaf1ef3acb351498a2e7a566e8b59af8c3531377ff1fcc2cd0e614e7748a4 304232 ppl_0.11.2-1.debian.tar.gz
836f8f99e54687ecce29726ac4a2707c7c361578c615054805824f83fce31923 529142 libppl9_0.11.2-1_amd64.deb
914ed470753360912a23a58fb5962e02dad9e879a6c2efc44be7f07cc7db560e 3531256 libppl0.11-dev_0.11.2-1_amd64.deb
7fe97993692a089e32cd0eb7b750a8adf9345fe5258a7947f972026a91d2dcba 1668726 libppl-c4_0.11.2-1_amd64.deb
9ef0d894d54dae1baab834d955eded403ebda28adb9be971dd6e9348fb6c7f7c 29720 libpwl5_0.11.2-1_amd64.deb
e59ab795b4f1d892c78b0778ac049c9a6b96e13e8256bbf0880d97246fd7f71b 39096 libpwl-dev_0.11.2-1_amd64.deb
e542887f15b8b170a55007e6564e01e1842fd06fb15619c9623b89c2adb3a41d 7864948 libppl-swi_0.11.2-1_amd64.deb
c8e785bdb2f3cec93a1487946bf12706c572c109152eb0ff7e5b1d6367076265 4439718 libppl-doc_0.11.2-1_all.deb
Files:
1535bc1eafc2a5218f78a1b91675a31d 1329 libs optional ppl_0.11.2-1.dsc
c24429e6c3bc97d45976a63f40f489a1 12348525 libs optional ppl_0.11.2.orig.tar.bz2
c05c06351d606eadf09d2461782c7f1c 304232 libs optional ppl_0.11.2-1.debian.tar.gz
7aea66d52c87d8a6ff632eca80c4fe1e 529142 libs optional libppl9_0.11.2-1_amd64.deb
07ba6a42a6b4c3c13182a7b70d2de570 3531256 libdevel optional libppl0.11-dev_0.11.2-1_amd64.deb
9519d73254e34ffe21ff4bf9e61b3a84 1668726 libs optional libppl-c4_0.11.2-1_amd64.deb
ef315be8c2221706957d93fdad9b36a6 29720 libs optional libpwl5_0.11.2-1_amd64.deb
265e9466546f04135694234ab98fe68d 39096 libdevel optional libpwl-dev_0.11.2-1_amd64.deb
3769682cec80f82839fc55512cf827ec 7864948 libs optional libppl-swi_0.11.2-1_amd64.deb
ce1d9eee5725d9464061db486113b018 4439718 doc optional libppl-doc_0.11.2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk1wud4ACgkQvx6dH3bVKsRY+wCePlxhBIQJYRz265Zyu0X1O8p3
B/IAoPYJYKOhkwuSC2lRMelYyuIyjM50
=ocpr
-----END PGP SIGNATURE-----
Accepted:
libppl-c4_0.11.2-1_amd64.deb
to main/p/ppl/libppl-c4_0.11.2-1_amd64.deb
libppl-doc_0.11.2-1_all.deb
to main/p/ppl/libppl-doc_0.11.2-1_all.deb
libppl-swi_0.11.2-1_amd64.deb
to main/p/ppl/libppl-swi_0.11.2-1_amd64.deb
libppl0.11-dev_0.11.2-1_amd64.deb
to main/p/ppl/libppl0.11-dev_0.11.2-1_amd64.deb
libppl9_0.11.2-1_amd64.deb
to main/p/ppl/libppl9_0.11.2-1_amd64.deb
libpwl-dev_0.11.2-1_amd64.deb
to main/p/ppl/libpwl-dev_0.11.2-1_amd64.deb
libpwl5_0.11.2-1_amd64.deb
to main/p/ppl/libpwl5_0.11.2-1_amd64.deb
ppl_0.11.2-1.debian.tar.gz
to main/p/ppl/ppl_0.11.2-1.debian.tar.gz
ppl_0.11.2-1.dsc
to main/p/ppl/ppl_0.11.2-1.dsc
ppl_0.11.2.orig.tar.bz2
to main/p/ppl/ppl_0.11.2.orig.tar.bz2
Reply to: