-----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
