-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 31 Oct 2010 13:41:36 +0100
Source: ppl
Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.11-1
Distribution: experimental
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl0.11-dev - Parma Polyhedra Library (development)
libppl9 - Parma Polyhedra Library (runtime library)
libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
libpwl5 - Parma Watchdog Library (Watchdog timers - runtime library)
Changes:
ppl (0.11-1) experimental; urgency=low
.
* New upstream release.
- Dropped all patches as these issues have been fixed upstream.
- Re-enabled Prolog interface on m68k as swi-prolog is now handled more
flexibly by upstream.
- SONAME bumps: libppl7 -> libppl9, libppl-c2 -> libppl-c4, libpwl4 ->
libpwl5
* Use release directories in watch file for better reliablity (upstream
hasn't updated LATEST link).
Checksums-Sha1:
cbd8e31416f21ae01c44503b4186cad63cac5fdc 1423 ppl_0.11-1.dsc
bcba279c2600833876e3002635ab47cacab632d5 11340896 ppl_0.11.orig.tar.bz2
b6fcdbd2593902bca9f0283385f68be26ab5e9b9 303849 ppl_0.11-1.debian.tar.gz
f15182293c010ac0921b8a1e526c616ec42a33c7 510852 libppl9_0.11-1_amd64.deb
0e528dc1372ee8cd1df2d43706b64b21974222c9 3754614 libppl0.11-dev_0.11-1_amd64.deb
9392d2233ff8bc9afdc78d7131a9bb6879df3578 1826922 libppl-c4_0.11-1_amd64.deb
5c5d29c8a33cfbb17d5d062605b51c2d8d71b0a1 21804 libpwl5_0.11-1_amd64.deb
d4e22712203aca7d2c86c5feacb9addbbaadac14 30690 libpwl-dev_0.11-1_amd64.deb
2aad77b535cf60aed819d8ba0ac33dcc76f43876 8598302 libppl-swi_0.11-1_amd64.deb
0c8d0aa3eca37ea79705be91cf7d6b5c4355374a 4109186 libppl-doc_0.11-1_all.deb
Checksums-Sha256:
8f3a9201da4242417fea185c66204b14ac30f90560836a5b4f4c10b9f1651dd7 1423 ppl_0.11-1.dsc
f4f28b75c95ed7f7adf8e5387ca4b012d9405ce0bc098629ea1653d711028cbc 11340896 ppl_0.11.orig.tar.bz2
20b182e6c9272b1b12831dcb51076668d974022e01a117d40b4800c114316e97 303849 ppl_0.11-1.debian.tar.gz
48745c9dc9aff4ad09478ca6f032dcdfdb2f776d8a874bb64f7914e33bbb40be 510852 libppl9_0.11-1_amd64.deb
13ee28d5ed28e2cc46e0dda674306abbf0e9d45e4e2fe4a453194aca6a3952a9 3754614 libppl0.11-dev_0.11-1_amd64.deb
8b94381f7ae30f292db4bf84ecdaa73c98c596850a0be149846cbfcb599160d7 1826922 libppl-c4_0.11-1_amd64.deb
41f055ce64aed1494c3d4aa8760924544061569e4061ec9b9013cecd0951e790 21804 libpwl5_0.11-1_amd64.deb
be5b693dd2b60acc350a38849dd099d776867da49b724485903a26e83d61b48f 30690 libpwl-dev_0.11-1_amd64.deb
6326eaa2870e45ee1809edb5e4d3308bb4e3822a5da450c2db5d6b6427d4f0bd 8598302 libppl-swi_0.11-1_amd64.deb
e494add5f478f3881176e627995d22544b6bdb2609e29c97ce7eb32a9d7fcc24 4109186 libppl-doc_0.11-1_all.deb
Files:
91088fcc0534a3e514b874947592a4ab 1423 libs optional ppl_0.11-1.dsc
c414abd2ecaf1f1f48949c78d383ee1a 11340896 libs optional ppl_0.11.orig.tar.bz2
1968c75f3809c9817ba7f19b4f88deff 303849 libs optional ppl_0.11-1.debian.tar.gz
1a96ed03bd99f9d9af3c49d7bc905685 510852 libs optional libppl9_0.11-1_amd64.deb
d81c3a3ebe63d8311a0effc3628efe8e 3754614 libdevel optional libppl0.11-dev_0.11-1_amd64.deb
67a23e5e9c5654a8eb305cce37f2f935 1826922 libs optional libppl-c4_0.11-1_amd64.deb
ba42099d5a71a474c910150528e57e55 21804 libs optional libpwl5_0.11-1_amd64.deb
b172ca7e265e2419fa8d57a1fc40ec1c 30690 libdevel optional libpwl-dev_0.11-1_amd64.deb
b3470b67884d0dbc4d58994c2b7413dd 8598302 libs optional libppl-swi_0.11-1_amd64.deb
fcb4114d77e83cf4aad073db292640f0 4109186 doc optional libppl-doc_0.11-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkzPBoUACgkQvx6dH3bVKsTNzQCfTsDKVK32o4czMy5Vn4Nnqvti
pfMAoMGGroy/uYJVqehMBQiXndXMk0xL
=0Rm0
-----END PGP SIGNATURE-----
Accepted:
libppl-c4_0.11-1_amd64.deb
to main/p/ppl/libppl-c4_0.11-1_amd64.deb
libppl-doc_0.11-1_all.deb
to main/p/ppl/libppl-doc_0.11-1_all.deb
libppl-swi_0.11-1_amd64.deb
to main/p/ppl/libppl-swi_0.11-1_amd64.deb
libppl0.11-dev_0.11-1_amd64.deb
to main/p/ppl/libppl0.11-dev_0.11-1_amd64.deb
libppl9_0.11-1_amd64.deb
to main/p/ppl/libppl9_0.11-1_amd64.deb
libpwl-dev_0.11-1_amd64.deb
to main/p/ppl/libpwl-dev_0.11-1_amd64.deb
libpwl5_0.11-1_amd64.deb
to main/p/ppl/libpwl5_0.11-1_amd64.deb
ppl_0.11-1.debian.tar.gz
to main/p/ppl/ppl_0.11-1.debian.tar.gz
ppl_0.11-1.dsc
to main/p/ppl/ppl_0.11-1.dsc
ppl_0.11.orig.tar.bz2
to main/p/ppl/ppl_0.11.orig.tar.bz2
