-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 10 Oct 2011 18:45:44 +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-5 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@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: 643253 Changes: ppl (0.11.2-5) unstable; urgency=low . * Install into multiarch locations. * Use dpkg-buildflags to set CFLAGS/LDFLAGS. * Move changes into patch file. Closes: #643253. Checksums-Sha1: 23a019e4e93e5d30550c9a61b0a44e5e7c21acb6 1621 ppl_0.11.2-5.dsc 52d74c59ce4b8e42fd59086264a358ed85a09082 12590 ppl_0.11.2-5.debian.tar.gz c87af7137f5833c61bb57f66f591013309a79007 532358 libppl9_0.11.2-5_amd64.deb 47b4688d59ecad3cecabc78e659b7461b9de76d6 3346040 libppl0.11-dev_0.11.2-5_amd64.deb 7db73025ed755908f4e76efb24cb02e5bf17dc74 1521720 libppl-c4_0.11.2-5_amd64.deb 238bedef55b8841436f0fd854b26059f93ab0033 30068 libpwl5_0.11.2-5_amd64.deb b04b7d23c67ceb3453ea17c8f7e87a77f393cbee 39182 libpwl-dev_0.11.2-5_amd64.deb fea2b6a828cbb6197d6d62a330b36c67b544eb4a 7642114 libppl-swi_0.11.2-5_amd64.deb 48aedb458712fd3033a12bfef67b741c87353073 4439106 libppl-doc_0.11.2-5_all.deb Checksums-Sha256: 2df97d29d6b32f60f982222b419d76f79815b4182d62c4f9af150c5e3167f74c 1621 ppl_0.11.2-5.dsc ff26a23bd99083fc8a4c85542b60dcb91aa5db31990a40d2999f41f3ed362268 12590 ppl_0.11.2-5.debian.tar.gz 493b0b2f7c7999e2c147a2e73aef7e6ab3ae4043eaac0c00a37f59cef3cd2f2a 532358 libppl9_0.11.2-5_amd64.deb 90dca8c14aad08d318d687bdef5efd15f799c6b0f656fb94621fc9a90677eaec 3346040 libppl0.11-dev_0.11.2-5_amd64.deb 2fadc04fa5e461dccf74426d0af821d618fc688a62c1ce1babbb95936f252aaa 1521720 libppl-c4_0.11.2-5_amd64.deb c2819bf55d8cb58d040695588351966806145b446187a442580605f4350104b5 30068 libpwl5_0.11.2-5_amd64.deb 00329a7f9cdaa6c750675b6b268f15391fd08f25bbdaa70f09916f270f28aa3a 39182 libpwl-dev_0.11.2-5_amd64.deb 1f7ae5f003f5e696b5befd00b2f88b71019a8f85f826130ca98d924bdd29ffd3 7642114 libppl-swi_0.11.2-5_amd64.deb 911a766ae9dc7d207668b91e03a8a51dfa600712cf642d9b0b75910b2689ca3a 4439106 libppl-doc_0.11.2-5_all.deb Files: 2ce0efc8c3b56b055d1ff94c91086589 1621 libs optional ppl_0.11.2-5.dsc b34a3010b267fc1098e33bd3074d025b 12590 libs optional ppl_0.11.2-5.debian.tar.gz 9f3e47b247e8adb40eb4d88198ec5654 532358 libs optional libppl9_0.11.2-5_amd64.deb 8d975dd3defdb521d8bb4a14adccc2cd 3346040 libdevel optional libppl0.11-dev_0.11.2-5_amd64.deb fd95e9037e7cd562043dc0d15eb79dc7 1521720 libs optional libppl-c4_0.11.2-5_amd64.deb 5a9ef3a5511824daaf92173affa5686b 30068 libs optional libpwl5_0.11.2-5_amd64.deb af9bcf0bbfb5a547c58473c49d71714f 39182 libdevel optional libpwl-dev_0.11.2-5_amd64.deb dfaa188452f7284760f4dcec2ab1b426 7642114 libs optional libppl-swi_0.11.2-5_amd64.deb f25cae203c0576d8e5b7d7ddf3e265d4 4439106 doc optional libppl-doc_0.11.2-5_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk6TVjMACgkQStlRaw+TLJxCjACgvhhc7zCjaziKfIVLMW5vDJZg U+oAn1U/JqRN0uwhn5Hk1jVWMXq7E0Dl =88XE -----END PGP SIGNATURE----- Accepted: libppl-c4_0.11.2-5_amd64.deb to main/p/ppl/libppl-c4_0.11.2-5_amd64.deb libppl-doc_0.11.2-5_all.deb to main/p/ppl/libppl-doc_0.11.2-5_all.deb libppl-swi_0.11.2-5_amd64.deb to main/p/ppl/libppl-swi_0.11.2-5_amd64.deb libppl0.11-dev_0.11.2-5_amd64.deb to main/p/ppl/libppl0.11-dev_0.11.2-5_amd64.deb libppl9_0.11.2-5_amd64.deb to main/p/ppl/libppl9_0.11.2-5_amd64.deb libpwl-dev_0.11.2-5_amd64.deb to main/p/ppl/libpwl-dev_0.11.2-5_amd64.deb libpwl5_0.11.2-5_amd64.deb to main/p/ppl/libpwl5_0.11.2-5_amd64.deb ppl_0.11.2-5.debian.tar.gz to main/p/ppl/ppl_0.11.2-5.debian.tar.gz ppl_0.11.2-5.dsc to main/p/ppl/ppl_0.11.2-5.dsc
