Accepted ppl 0.11.2-5 (source all amd64)
-----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
Reply to: