Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 15 Aug 2012 15:56:30 +0200 Source: ppl Binary: libppl9 libppl0.11-dev ppl-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.11.2-8 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <d...@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) ppl-dev - Parma Polyhedra Library (development binaries) Changes: ppl (0.11.2-8) unstable; urgency=low . * Split out a ppl-dev package with the ppl-config binary. Checksums-Sha1: 76a01b1eb848b4e7fc8ea161cb278d521d93a4aa 1693 ppl_0.11.2-8.dsc 5877571867d3ea75172d21ffc66d219638a5c90a 15162 ppl_0.11.2-8.debian.tar.gz 28429b1f8e81b232f282132e2e71cbb6ad408e6e 540050 libppl9_0.11.2-8_amd64.deb 070dd3d775c7dfb3c10054f8095b76e4ecf0cadb 3585770 libppl0.11-dev_0.11.2-8_amd64.deb 3e05e55c3f794286e8c237187caf87ee57d38858 122450 ppl-dev_0.11.2-8_amd64.deb c0c59c851e9b72a2c479143a64c850af3cb7216c 1516260 libppl-c4_0.11.2-8_amd64.deb 6abbf80cde88ca1ff6b48b12efc90b5197b73ecd 30548 libpwl5_0.11.2-8_amd64.deb dddfacf4b41682e137135af0f3fee48c6b8b966d 39266 libpwl-dev_0.11.2-8_amd64.deb 4c136e8ce861c81f772399259e50a0b27b98c2c4 5394906 libppl-swi_0.11.2-8_amd64.deb e90daa7b7b19a71ee555be42ebd0caf06dad143d 4441886 libppl-doc_0.11.2-8_all.deb Checksums-Sha256: 90f3148741cef49d77e46dfb57116bf94daefe75d08faea3dd3d4da235269e2b 1693 ppl_0.11.2-8.dsc a582a6444165a0647e41697fb4d5d356f52b5155b01874823cc94b4573f04b75 15162 ppl_0.11.2-8.debian.tar.gz 2b267bf3300db8150ea7aefaf8417ba746908cf96cefdf12c7e4cd95cc0a455f 540050 libppl9_0.11.2-8_amd64.deb 607a218baac0af7b8034fadabdd1a4ff1f6a1a5c3754791523e8fa06c5dc25ee 3585770 libppl0.11-dev_0.11.2-8_amd64.deb 9436fc556ac1db715f70a801abb8b96ea10692b78ba5547b734cbf42f5c0ed3d 122450 ppl-dev_0.11.2-8_amd64.deb 33297893f001ea15113285353e0590ebc51eb2fa996c6a2b5a422eafe6752dc5 1516260 libppl-c4_0.11.2-8_amd64.deb ce983172309c329ff4129f7afa43801e9f5905b4bc7076e24acc3287a6c1c6a8 30548 libpwl5_0.11.2-8_amd64.deb 93f2923506d96618b83c7e994808a181cb22c5944f00d9ffcce48896c06c5c64 39266 libpwl-dev_0.11.2-8_amd64.deb d57368ca68cf5b37c03f6e3e2f1958d58b81b265b7d7d83ef7124fdab57c4aef 5394906 libppl-swi_0.11.2-8_amd64.deb c7897db55b9bad7ab1175392192405fdf89a07994d4a16a85b125cb3594a5935 4441886 libppl-doc_0.11.2-8_all.deb Files: f10e501a394a62da2f74f1366655f06d 1693 libs optional ppl_0.11.2-8.dsc 38aa6726c9f47764686c7cf77e76819f 15162 libs optional ppl_0.11.2-8.debian.tar.gz fc093968756a94a31e556e48f769e363 540050 libs optional libppl9_0.11.2-8_amd64.deb 320e380129ef549c030ad26d3525ee35 3585770 libdevel optional libppl0.11-dev_0.11.2-8_amd64.deb 0d91c8392a3a34c2ebc7cb9b50f9b9b1 122450 devel optional ppl-dev_0.11.2-8_amd64.deb dc9e586af8d664a3560e2ef7c0c5a35c 1516260 libs optional libppl-c4_0.11.2-8_amd64.deb 7f46271053bfd7f5112caca4c64ed103 30548 libs optional libpwl5_0.11.2-8_amd64.deb f5090a88bc5b68f55752a998b7d0f7e9 39266 libdevel optional libpwl-dev_0.11.2-8_amd64.deb 1cbf6c30e7bea04b129b3f2cd05f331b 5394906 libs optional libppl-swi_0.11.2-8_amd64.deb f39b7e76338f1ae7146f291cdd7223f6 4441886 doc optional libppl-doc_0.11.2-8_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAlArwe4ACgkQStlRaw+TLJxwywCeOmM9CpVHp8AOTj1JWhZ+gQC5 3AMAmwZ1qrKn/qWPPQORYLNLVEKO8scB =V+ZM -----END PGP SIGNATURE----- Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1t25ii-0006rs...@franck.debian.org
