Accepted ppl 0.10.2-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 03 Feb 2010 00:11:22 +0100
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.10.2-4
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
libppl-c2 - Parma Polyhedra Library (C interface)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl0.10-dev - Parma Polyhedra Library (development)
libppl7 - Parma Polyhedra Library (runtime library)
libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
libpwl4 - Parma Watchdog Library (Watchdog timers - runtime library)
Changes:
ppl (0.10.2-4) unstable; urgency=low
.
* Switch to dpkg-source 3.0 (quilt) format, removed quilt-related code from
debian/rules.
* Bumped Standars-Version to 3.8.4 (no changes).
* Added ${misc:Depends} as we are using debhelper.
* Build SWI-Prolog bindings on linux architectures only as swi-prolog is not
available on others.
Checksums-Sha1:
7797cc322ca56b8d3518d482f0b41812703de9f2 1497 ppl_0.10.2-4.dsc
b8bacf714ee6f3ab5770cb9a30eed363e2e999b0 13531 ppl_0.10.2-4.debian.tar.gz
b49df1019ed523aad1958e50457c0bfcedfbe7b7 374328 libppl7_0.10.2-4_amd64.deb
b3b974862e31f5e966a9735b9b19dd47e59dc1f1 2878130 libppl0.10-dev_0.10.2-4_amd64.deb
1de9330b243c8ac52b90e74d2343229dcf967dd6 1309982 libppl-c2_0.10.2-4_amd64.deb
bca6d178c052d5e49431bdc35e6010bfee4feda9 19282 libpwl4_0.10.2-4_amd64.deb
567e00c0426903a159575cafb02381433988ad28 25846 libpwl-dev_0.10.2-4_amd64.deb
e41f8b43fccfc24d8cdb8f5ceae5d233a0583584 6122866 libppl-swi_0.10.2-4_amd64.deb
47bfd2513805a5f0ef5559c631b2a3ad3458688f 3621618 libppl-doc_0.10.2-4_all.deb
Checksums-Sha256:
1bc6a0b95c6ae36602d4ed8fb6a1c6b5616fdcd8ec60d1c3517058b5fbab7c79 1497 ppl_0.10.2-4.dsc
36d4f4b983e5a3764168dd94e09d9abfb5b0c29e4794e9550e0c485b050127f6 13531 ppl_0.10.2-4.debian.tar.gz
dab0acf23c5ebaa3342b69cfa0dd2a309c6c1d11460bec09a88c36cb795482c9 374328 libppl7_0.10.2-4_amd64.deb
abe01aa132f11ed508c56dead9610074df502a387fd7d1d8ccc3f712b029e35b 2878130 libppl0.10-dev_0.10.2-4_amd64.deb
a8a5613d8b3b260d663bf8eab5186b59a31e896eb661c384a4e93be0b1700071 1309982 libppl-c2_0.10.2-4_amd64.deb
3af1a2e48d034078ea58fba86b6bcba7f4904590957615021a9b62fcd74c5d00 19282 libpwl4_0.10.2-4_amd64.deb
713fd72cc6b10b5c1e7922efe805b8cce3d78269dbefd0a64bfa083caa5c11fa 25846 libpwl-dev_0.10.2-4_amd64.deb
ab7f0e1c81dd6cc8f6306b5febd7587ac1f075bec0e7b980280500b227874a61 6122866 libppl-swi_0.10.2-4_amd64.deb
3a826e891e5d5a07fa7c34c756fb3bc128504b888ed48f97eda68c6b168e3152 3621618 libppl-doc_0.10.2-4_all.deb
Files:
ac8a2c2199aa03a3f7c012c73bf324b4 1497 libs optional ppl_0.10.2-4.dsc
b697e3fe658ae5d3c4bdbca1bde517b6 13531 libs optional ppl_0.10.2-4.debian.tar.gz
6d54bbf9c8b0e7efc3bf9791e7055e78 374328 libs optional libppl7_0.10.2-4_amd64.deb
f90c90895d55634aec9246d0748583f0 2878130 libdevel optional libppl0.10-dev_0.10.2-4_amd64.deb
d7ed85e54b1e66b9b6a9ed1110958be7 1309982 libs optional libppl-c2_0.10.2-4_amd64.deb
e35b170acdc8a9de8b8f1b10ab376ca1 19282 libs optional libpwl4_0.10.2-4_amd64.deb
3e15f6e755ec83c1a0cdc9e1496d70d3 25846 libdevel optional libpwl-dev_0.10.2-4_amd64.deb
d9cf63fa5ac2f615ad385a466d06526f 6122866 libs optional libppl-swi_0.10.2-4_amd64.deb
89e27871d063f8e6b1ce9bed4faa0638 3621618 doc optional libppl-doc_0.10.2-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktpR3EACgkQvx6dH3bVKsQftgCg3UDE8byzpJspQcbzxo+30WXK
DWoAn3adOoHFuvhSWN6qW5tng1tF6Yor
=kDkm
-----END PGP SIGNATURE-----
Accepted:
libppl-c2_0.10.2-4_amd64.deb
to main/p/ppl/libppl-c2_0.10.2-4_amd64.deb
libppl-doc_0.10.2-4_all.deb
to main/p/ppl/libppl-doc_0.10.2-4_all.deb
libppl-swi_0.10.2-4_amd64.deb
to main/p/ppl/libppl-swi_0.10.2-4_amd64.deb
libppl0.10-dev_0.10.2-4_amd64.deb
to main/p/ppl/libppl0.10-dev_0.10.2-4_amd64.deb
libppl7_0.10.2-4_amd64.deb
to main/p/ppl/libppl7_0.10.2-4_amd64.deb
libpwl-dev_0.10.2-4_amd64.deb
to main/p/ppl/libpwl-dev_0.10.2-4_amd64.deb
libpwl4_0.10.2-4_amd64.deb
to main/p/ppl/libpwl4_0.10.2-4_amd64.deb
ppl_0.10.2-4.debian.tar.gz
to main/p/ppl/ppl_0.10.2-4.debian.tar.gz
ppl_0.10.2-4.dsc
to main/p/ppl/ppl_0.10.2-4.dsc
Reply to: