Accepted ppl 1:1.1~pre8-1 (source amd64 all)
-----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-----