-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 17 Jul 2012 23:26:41 +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-6.1 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Nicolas Boulenguez <nicolas.boulenguez@free.fr> 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: 669479 680896 Changes: ppl (0.11.2-6.1) unstable; urgency=low . * Non-maintainer upload. . [ Artur Rona <ari-tczew@tlen.pl> ] * debian/control: Add libncursesw5-dev to Build-Depends due to missing library, fixes FTBFS. (Closes: #669479) . [ Nicolas Boulenguez ] * Remove usr/bin/ppl_pl from libppl-swi multiarch package (see #670024). Document equivalent functionality with the shared library. * control: libppl0.11-dev cannot be Multi-Arch: same because it contains arch-dependent headers (see #670025). * avoid_obsolete_installdox.patch: backport part of an upstream commit. Doxygen 1.8 does not use installdox anymore. (Closes: #680896) Checksums-Sha1: d2423e8f716a83c6496a04fe66f123610ef8dc89 1956 ppl_0.11.2-6.1.dsc 0c37ac4159bf6c42fac5737ac7d27a3b27d5a3c4 14614 ppl_0.11.2-6.1.debian.tar.gz 3082b261761eff2868344f6e0490f3a7a9fc32d4 539538 libppl9_0.11.2-6.1_amd64.deb e668ae7347b3bc33d6bd2ff9604dfc67bc44d74e 3618514 libppl0.11-dev_0.11.2-6.1_amd64.deb 5230d8742d0549bbe6a674082829bf66f93106af 1516458 libppl-c4_0.11.2-6.1_amd64.deb fca133b62b91f51ce72abc2a194aa6dea53be7ce 30236 libpwl5_0.11.2-6.1_amd64.deb 441eb91f72af1e29027ba9a536ccdcc9fc52a59f 39968 libpwl-dev_0.11.2-6.1_amd64.deb 0a917dd623940b56507ba12b79f5f2b7e5cd1ccc 5394340 libppl-swi_0.11.2-6.1_amd64.deb e0ea7240e4a53b4c045889ed6a241a8ce116a84f 4329178 libppl-doc_0.11.2-6.1_all.deb Checksums-Sha256: 156b97121c60c9ed88076cb5f1fcfb9d305a7f1a05d27907c82f2d8e039d3c82 1956 ppl_0.11.2-6.1.dsc c368587f621ed1beffacfad07b642603158316388f000c91aa5349c260166d0b 14614 ppl_0.11.2-6.1.debian.tar.gz afc1530eaba62cb4251e5c2e994b7cebc6b82899544b9b7a0eae330396863501 539538 libppl9_0.11.2-6.1_amd64.deb 70e3f2b01540706a31e8bc12b7787891049791b24cabf0144c7357a4a7d63e08 3618514 libppl0.11-dev_0.11.2-6.1_amd64.deb f2722abf24a175404a596ec51e18d90d8f09659426bab5fd93de09fceb958b48 1516458 libppl-c4_0.11.2-6.1_amd64.deb 01d8aa804564f96eeb040d2dfb32b1398eadfa0cba76a5c8f51d3070485f08cb 30236 libpwl5_0.11.2-6.1_amd64.deb 34c84ff5c59e20a677946ce1eab7f6983d3e95466c9364da55690e87f09e83e1 39968 libpwl-dev_0.11.2-6.1_amd64.deb b4485edc2a0ced4d09c489b500656b6a805d10b5020f63cb5dff87015c815e5d 5394340 libppl-swi_0.11.2-6.1_amd64.deb da4bc51a2b57db74a44fd88831e30b339d4702eda24f713363667b49bd5d32d5 4329178 libppl-doc_0.11.2-6.1_all.deb Files: f540ea97df96973f30b1918fead00a0b 1956 libs optional ppl_0.11.2-6.1.dsc fc48ad168ac2cc6c15d29c955b6b10b6 14614 libs optional ppl_0.11.2-6.1.debian.tar.gz 6da3fa4796c96bebb9d5e939cbde6944 539538 libs optional libppl9_0.11.2-6.1_amd64.deb f7a44799bd60c0eae008bac597c0d541 3618514 libdevel optional libppl0.11-dev_0.11.2-6.1_amd64.deb 66e4026ddf0ffd42e7a4636a4cc9e33a 1516458 libs optional libppl-c4_0.11.2-6.1_amd64.deb 4ed1c5d8cc33e015c55520dca2537537 30236 libs optional libpwl5_0.11.2-6.1_amd64.deb 72a1ff78473e12ca2c9892d66b66427d 39968 libdevel optional libpwl-dev_0.11.2-6.1_amd64.deb 30ad24f51a770d04dea4ff9f3e959faf 5394340 libs optional libppl-swi_0.11.2-6.1_amd64.deb f744f5c8b0fe305c807e6b41b13b4e1c 4329178 doc optional libppl-doc_0.11.2-6.1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJQDElWAAoJEFb2GnlAHawEO5UH/38eoQJy/NClPgIW5pJ8B/7X Aa5vjh0UiucPWHiM9/gwL1ZJwTnbE82rWdhCUs4N0wHHwGjn+MFTMVYDzt0VHtdm Ikn9ktO8V1LDMOuahqoc1gVkJGzDxsM1u0r6w2+J5ZcRn7EezyCozuk857FK3iJ1 yL1ECAeXgZHFEfJ1sqHHW1iq+ofmFPcxsLYTpgsJtXBycVRsBkFK26a2fUPQQOI5 +rp0zCLAg/7y2uiqrisKsqyfkeIs2Ev1+xQq5vqfGMj5fJNQMhrCG1xiMFiQcV5a 2OkEjtaBOZ3PYB4KDGhEw3PNN4rI+i8DSnaU+v5Zdxy0RKYcMiz55pur8xFhW+M= =gw2+ -----END PGP SIGNATURE-----
