Accepted:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 21 Mar 2014 16:37:04 +0100 Source: ppl Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: armel Version: 1:1.1-2 Distribution: unstable Urgency: medium 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-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl13 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Changes: ppl (1:1.1-2) unstable; urgency=medium . * Work around GCC PR target/60609 to avoid the build failure of the SWI Prolog bindings on armhf. Checksums-Sha1: e54b55fb0f8716dccce892807d2f31a9202c3220 536610 libppl13_1.1-2_armel.deb 8de389d0e49cef05ab5f2c6ea4ab80f00a7d4bf1 1698304 libppl-dev_1.1-2_armel.deb 17260514a27bde2949b54f295bcf7482e19db27d 198470 ppl-dev_1.1-2_armel.deb e0cbfbc3b29e278e1b9ad4d6c01d6cdc882e4678 577632 libppl-c4_1.1-2_armel.deb 5a5d86ca42fcd689f034756ab56fa4cf6385ba00 1561536 libppl-swi_1.1-2_armel.deb Checksums-Sha256: da8f9fd75a5093b9085617201183c58354e691dbba213d0c2ea38a92b17c3697 536610 libppl13_1.1-2_armel.deb 8eeb7dbf2ceb290c53ab3f1c27946ae743e1e8a260d6583f3f43fd08b20beccc 1698304 libppl-dev_1.1-2_armel.deb f599d4f6c9ff920d926090d2af80de7d678681a9be9d3528e8cc51d24c62be99 198470 ppl-dev_1.1-2_armel.deb dc6161b8a4bf10aabf110fb7f6673177e275ef28b7d1c2f3b287913663e7d586 577632 libppl-c4_1.1-2_armel.deb 4850ce8f952bbd0af34496428ee64f0c7ca09ce903a28001acc7cca80a8339db 1561536 libppl-swi_1.1-2_armel.deb Files: 42812b042a16bf7ff4f3d35ab2228ffd 536610 libs optional libppl13_1.1-2_armel.deb 3ddc8f01d9368a7620d8022a85317306 1698304 libdevel optional libppl-dev_1.1-2_armel.deb 2041909baae678bdd6f5177bd67013fc 198470 devel optional ppl-dev_1.1-2_armel.deb aa5a9c1af859205c78328aa414f3b43f 577632 libs optional libppl-c4_1.1-2_armel.deb f2a4fc8311637db08faaed9592b656ee 1561536 libs optional libppl-swi_1.1-2_armel.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlM0NgMACgkQStlRaw+TLJzB8gCfajp2EHfVrDeCpd6BBb3MWNqK LLoAn3Ni2wD047mOc5HIHJrDhQK5m6Ka =E0Th -----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: https://lists.debian.org/e1wtcps-0007ks...@franck.debian.org