Format: 1.8 Date: Sun, 30 Jun 2013 18:23:56 +0200 Source: ppl Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: armhf Version: 1:1.0-7ubuntu1 Distribution: saucy-proposed Urgency: low Maintainer: Ubuntu/armhf Build Daemon Changed-By: Matthias Klose Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.12-dev - Parma Polyhedra Library (development) libppl12 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Changes: ppl (1:1.0-7ubuntu1) saucy; urgency=low . * Merge with Debian; remaining changes: - Disable building the SWI-Prolog bindings as its in universe. Checksums-Sha1: 9682bbe75a2090e9eba492f23fd43cd014088f84 467708 libppl12_1.0-7ubuntu1_armhf.deb ed1c4557a04975ccedc34bfb8f7a0b799739753c 2620054 libppl0.12-dev_1.0-7ubuntu1_armhf.deb 3aef16647d48cc1d68b28480acf92c99f29bae6c 35314 ppl-dev_1.0-7ubuntu1_armhf.deb 0f29f0032fe822a2f22ee8a6129ab7fcf7851981 884068 libppl-c4_1.0-7ubuntu1_armhf.deb Checksums-Sha256: 0c3e9e3a931232117142555a6ec17d55265b7baff09d8eafe5e55ac968a99aba 467708 libppl12_1.0-7ubuntu1_armhf.deb 8bde2fcfc62f69b70defff4f4a0883f6baf850b2330bd79ab77ed599caaad37f 2620054 libppl0.12-dev_1.0-7ubuntu1_armhf.deb 34eaeb2ebe0fa0830b8301fd24ac3c81a3abd0b9e8dd7aeead82f80ad8c3b5dc 35314 ppl-dev_1.0-7ubuntu1_armhf.deb 59910c0511bfaa26d3a1889f2da2abd7519f86dce67486d5b4d10708502cb609 884068 libppl-c4_1.0-7ubuntu1_armhf.deb Files: 5e9fe94ea100433c8b655949239356ef 467708 libs optional libppl12_1.0-7ubuntu1_armhf.deb 3a7990bd46e7e68f9f986734e982e153 2620054 libdevel optional libppl0.12-dev_1.0-7ubuntu1_armhf.deb 421be1c91d3e7c76d041c030dc7c8f83 35314 devel optional ppl-dev_1.0-7ubuntu1_armhf.deb bfa539db9d790cf7afff2a3ce943bce5 884068 libs optional libppl-c4_1.0-7ubuntu1_armhf.deb Original-Maintainer: Debian GCC Maintainers