Format: 1.8 Date: Mon, 28 Jan 2013 17:30:30 +0100 Source: ppl Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: amd64 Version: 1.0-1ubuntu2 Distribution: raring-proposed Urgency: low Maintainer: Ubuntu/amd64 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.0-1ubuntu2) raring; urgency=low . * Fix typo in libppl-doc dependency. Checksums-Sha1: b62bf20d5fda33b823505145ebab6931c4e4e6ea 565488 libppl12_1.0-1ubuntu2_amd64.deb 84550f606346c285a3aa8df72bb07c85708e57ea 3786766 libppl0.12-dev_1.0-1ubuntu2_amd64.deb 106bab3d04b06d91a3d02d4940ce3c558173fabf 38986 ppl-dev_1.0-1ubuntu2_amd64.deb 18e22f845f32b48a447cbede6fa270f1fd5ff850 1485712 libppl-c4_1.0-1ubuntu2_amd64.deb Checksums-Sha256: 43cbdd33fd543e403be2dc32744e4127f31eaa6644a1f8066f0e3fc65cdfbd1f 565488 libppl12_1.0-1ubuntu2_amd64.deb 7d9b675c59b67dca3918889acf38190d809dab201d230253157cc9c4c5250574 3786766 libppl0.12-dev_1.0-1ubuntu2_amd64.deb 2ed58e12a41e19c9b014b613f488f1adffe2e86f1041151337188b6c748e8881 38986 ppl-dev_1.0-1ubuntu2_amd64.deb 68673c54a053b9c5e1657f93a7338979abe74353e697ce6fc66c783f8d7307d2 1485712 libppl-c4_1.0-1ubuntu2_amd64.deb Files: 7cf7c13888755f1c9abccb31628e0ab3 565488 libs optional libppl12_1.0-1ubuntu2_amd64.deb d30449535b504f588b7d9388e3a30254 3786766 libdevel optional libppl0.12-dev_1.0-1ubuntu2_amd64.deb 75546beef30527d9a507de2ed6bb7b34 38986 devel optional ppl-dev_1.0-1ubuntu2_amd64.deb 32b6e701d81ecc5441b09bf143738261 1485712 libs optional libppl-c4_1.0-1ubuntu2_amd64.deb Original-Maintainer: Debian GCC Maintainers