Format: 1.8 Date: Wed, 10 Dec 2014 14:37:01 +0100 Source: ppl Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: i386 Version: 1:1.1-3ubuntu3 Distribution: vivid-proposed Urgency: medium Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Matthias Klose 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-3ubuntu3) vivid; urgency=medium . * Build using GCC 4.7 (to be able to build gcc-4.7 with support for Graphite). Checksums-Sha1: dabdc827f0bd76cc4097d905215f84a59411cfcc 453430 libppl13_1.1-3ubuntu3_i386.deb 5d0359fd029c57093876573a2a3f0d0f2d006f19 1910718 libppl-dev_1.1-3ubuntu3_i386.deb 17e1387af6ea1e654e5683bcaa6a0f60cf36c00b 32794 ppl-dev_1.1-3ubuntu3_i386.deb cdac3e49da0005320ae5b39edfa4247e63603b4b 953996 libppl-c4_1.1-3ubuntu3_i386.deb Checksums-Sha256: 2241634c23d557ae2406735bde7f75a4b1734630d587a20a74af64159b58a907 453430 libppl13_1.1-3ubuntu3_i386.deb b9588e4f42497620228deaa849f6988a12dad43e51381d5ee25fe7ed3db8f5a4 1910718 libppl-dev_1.1-3ubuntu3_i386.deb 7570bb92fc7d1dcefb3f5f0e0869e7ea67908fef2fe4092fd242c08d7658b20f 32794 ppl-dev_1.1-3ubuntu3_i386.deb 32c27398858e0fb0c305a6fe0ad27fc944689bba7889709f9ade6330d9330cf4 953996 libppl-c4_1.1-3ubuntu3_i386.deb Files: 65baada7d9c08c8a167a8455972d404a 453430 libs optional libppl13_1.1-3ubuntu3_i386.deb 8268fdc70b19f7e397af87961b6f9be7 1910718 libdevel optional libppl-dev_1.1-3ubuntu3_i386.deb e0153458ce82a9b98899382babc19167 32794 devel optional ppl-dev_1.1-3ubuntu3_i386.deb 3aeafdff1dfc8cedcc6a92d324d47450 953996 libs optional libppl-c4_1.1-3ubuntu3_i386.deb