-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 09 May 2013 13:16:42 +0200 Source: ppl Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1:1.1~pre8-1 Distribution: experimental Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@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~pre8-1) experimental; urgency=low . * ppl snapshot 1.1pre8. * Bump libppl soversion. * Rename libppl0.12-dev to libppl-dev. Checksums-Sha1: 66f032b997ff8ec0aa42001f741b4f6f2f0fe1bd 1612 ppl_1.1~pre8-1.dsc fe0a95268d83f38dc024f1e9c8b3c57e9d0b415f 13533972 ppl_1.1~pre8.orig.tar.xz 4f7df324f92f2bbf35c275ad13bd2768e270469e 10952 ppl_1.1~pre8-1.debian.tar.gz a787eafe1883d32aec38fcb60d7e2eea02ddeaef 713508 libppl13_1.1~pre8-1_amd64.deb 16b108ceca81c8835b5c9b8c8de0453dee1758b7 3954756 libppl-dev_1.1~pre8-1_amd64.deb fc0bfe3bc681d83b73b4b27abd5cb0d38c904c31 187732 ppl-dev_1.1~pre8-1_amd64.deb 453ed588d155519f8ebc938206352a698c9630e6 1500468 libppl-c4_1.1~pre8-1_amd64.deb 6e66616ab59e3aa2f959f6bf255e5177ed8be8f9 5773664 libppl-swi_1.1~pre8-1_amd64.deb de803dc8994faa1df58d6163e4e859f5f983fd42 6968352 libppl-doc_1.1~pre8-1_all.deb Checksums-Sha256: ad8d09bd52ae9713e58d03e47c3b3a7078d9c50329ddc475c28c17754539afae 1612 ppl_1.1~pre8-1.dsc b7d4d3c60450057264e5543b3e03646abe2cb051ff477886cedb2ed030dbfbcc 13533972 ppl_1.1~pre8.orig.tar.xz 7302c91ea9b513e6453f8855d9772ca1804b54109ebf4fa3cb04ad117ff4cfc2 10952 ppl_1.1~pre8-1.debian.tar.gz 300fb2a384f290bf060b09f7ce27e55864f04d3debbb309a727d61e068cd8f6b 713508 libppl13_1.1~pre8-1_amd64.deb 3ef40bf71a777e48cbeb16a0e01cce4a9ee4157dd5802f96ea4912abbbe0d3c7 3954756 libppl-dev_1.1~pre8-1_amd64.deb b659c6da2df1887c3617a6f244e213573a23f99651281b8ce44bb99b1816335d 187732 ppl-dev_1.1~pre8-1_amd64.deb 2af35de94d23d767b00207b7827378c3aa981361f9ea669d9286668b414f6a87 1500468 libppl-c4_1.1~pre8-1_amd64.deb 14d65a04aafdde91b1f62a980c86da55b5082f0fc9eab37ce461c195f3ad1424 5773664 libppl-swi_1.1~pre8-1_amd64.deb 73ccf12d693b9ea06b33440f05e7fea460fd2d9155e1b3943a8a58988a7c1187 6968352 libppl-doc_1.1~pre8-1_all.deb Files: f045141900fab295637bc0d462b1d8ba 1612 libs optional ppl_1.1~pre8-1.dsc 9e7b9454cfe0f9f91943ddeaaff4b1cc 13533972 libs optional ppl_1.1~pre8.orig.tar.xz 6b78d5ee5b1b70c27e347bddbd5b7cee 10952 libs optional ppl_1.1~pre8-1.debian.tar.gz 944458cf28774fb556dac23cbdb86524 713508 libs optional libppl13_1.1~pre8-1_amd64.deb c1db77e9af839ac73260ef623e228bc0 3954756 libdevel optional libppl-dev_1.1~pre8-1_amd64.deb c10c040b147af0a4d4ece17cce42c8b7 187732 devel optional ppl-dev_1.1~pre8-1_amd64.deb f618cf15709da45323900c71b9765239 1500468 libs optional libppl-c4_1.1~pre8-1_amd64.deb b99d5fcc67e6bca4a249acb1b6aa339d 5773664 libs optional libppl-swi_1.1~pre8-1_amd64.deb 597b7b1da604deb9f0129b1979e656d1 6968352 doc optional libppl-doc_1.1~pre8-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlGLyNcACgkQStlRaw+TLJyChQCgtw0Bv9npaP1JutqpVmnfUVHb igkAn0dN+SdZkQu2yWXVNgFWefXGfqpT =uYlV -----END PGP SIGNATURE-----
