-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 10 Jul 2011 12:05:38 +0200 Source: ppl Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.11.2-4 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: 625417 633365 Changes: ppl (0.11.2-4) unstable; urgency=low . * Patch away unused variables. Closes: #625417. * Don't ship libppl_swiprolog.la. Closes: #633365. Checksums-Sha1: b8604b8bcd3e424986c92b45550a27b618e02045 1348 ppl_0.11.2-4.dsc fa567cbb7d0ced408163ed4a5108a476a530daa0 306250 ppl_0.11.2-4.debian.tar.gz 8bb62596cb22ec07c63c07c07ab3243f390ecb9a 530962 libppl9_0.11.2-4_amd64.deb 9de370f1d87fc343e302a2620ef7bd73253e5fc2 3346812 libppl0.11-dev_0.11.2-4_amd64.deb 2c2dee41dd3d8f795683c6fb5adfb75ff222a39b 1521486 libppl-c4_0.11.2-4_amd64.deb fdb91f8e767d89e9945b6c81852f562447ec2fe6 29804 libpwl5_0.11.2-4_amd64.deb 705db34ac1d8a865a4c8602a51dd0ffc79982340 39274 libpwl-dev_0.11.2-4_amd64.deb 56f69df6b80be23e4946baa415c3327c1a3cb98d 7623266 libppl-swi_0.11.2-4_amd64.deb 32cce2886c8aca92ccc0fb98d17bb6bcf410dcbc 4439878 libppl-doc_0.11.2-4_all.deb Checksums-Sha256: c19fb095841e609d1c9652aeae921b5b992124f120f50f4e7186a1e115575a4a 1348 ppl_0.11.2-4.dsc 922a0c875cc0f1894fdb74375ceff7667c3425dbdc296f05abdcb1129197015c 306250 ppl_0.11.2-4.debian.tar.gz be04928afe5c589dac08e27b718a9a8fc2252308717b0185a5da2983d52a1af6 530962 libppl9_0.11.2-4_amd64.deb 1cf707a190dddd11276f7ee9dbdc512d7853fb48bc5d7f1eea604e0e5243a71d 3346812 libppl0.11-dev_0.11.2-4_amd64.deb d51c8d3591e3bb289c96ab2c5c00872de5e3e54ca21001c9047dec76fc49cb8d 1521486 libppl-c4_0.11.2-4_amd64.deb 57772b8d950fb78396e896181a05b156f66f774edfe2dc593078fbb5f768eb62 29804 libpwl5_0.11.2-4_amd64.deb 4e45a0433e5b84daa8a973ceecd349f754f245142f6f60ad4cf810c09e9a3e50 39274 libpwl-dev_0.11.2-4_amd64.deb cefd29197ee1a95d335256d4608082d1cf5d76d621bd36d8caae0d29f67f3e2c 7623266 libppl-swi_0.11.2-4_amd64.deb 3a521fbcf82d914b66431002ae4d7e17e7c61e16d539b8234267c2906ba8a7b2 4439878 libppl-doc_0.11.2-4_all.deb Files: 3af0e54443d378e0f9c74b55ea7815d8 1348 libs optional ppl_0.11.2-4.dsc b65229f7c2015ef7a6df619ec52a5d35 306250 libs optional ppl_0.11.2-4.debian.tar.gz dd70a489c1914cae572dd0aead39395c 530962 libs optional libppl9_0.11.2-4_amd64.deb 9330a0272acb9f00b777e9bd8f51c301 3346812 libdevel optional libppl0.11-dev_0.11.2-4_amd64.deb 807fd5dd20806ba97f35d24de09cde67 1521486 libs optional libppl-c4_0.11.2-4_amd64.deb d5bfe67b8b08c3176df0374b1233c894 29804 libs optional libpwl5_0.11.2-4_amd64.deb 3a72dfec943e6333a4af9b85f73719e4 39274 libdevel optional libpwl-dev_0.11.2-4_amd64.deb d1d3cf344879012ee363742893763baf 7623266 libs optional libppl-swi_0.11.2-4_amd64.deb d12d98a7b9cc7720a8e6357b75d6119b 4439878 doc optional libppl-doc_0.11.2-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk4anNQACgkQvx6dH3bVKsSIXgCffTzY3qvO/9IYhtuWwLZxAJmp g24AnR8cr2bU/jgiCkWvSWwnEHVIOjuV =G8Mm -----END PGP SIGNATURE----- Accepted: libppl-c4_0.11.2-4_amd64.deb to main/p/ppl/libppl-c4_0.11.2-4_amd64.deb libppl-doc_0.11.2-4_all.deb to main/p/ppl/libppl-doc_0.11.2-4_all.deb libppl-swi_0.11.2-4_amd64.deb to main/p/ppl/libppl-swi_0.11.2-4_amd64.deb libppl0.11-dev_0.11.2-4_amd64.deb to main/p/ppl/libppl0.11-dev_0.11.2-4_amd64.deb libppl9_0.11.2-4_amd64.deb to main/p/ppl/libppl9_0.11.2-4_amd64.deb libpwl-dev_0.11.2-4_amd64.deb to main/p/ppl/libpwl-dev_0.11.2-4_amd64.deb libpwl5_0.11.2-4_amd64.deb to main/p/ppl/libpwl5_0.11.2-4_amd64.deb ppl_0.11.2-4.debian.tar.gz to main/p/ppl/ppl_0.11.2-4.debian.tar.gz ppl_0.11.2-4.dsc to main/p/ppl/ppl_0.11.2-4.dsc
