-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 27 Jan 2013 23:15:02 +0100 Source: ppl Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1.0-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-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.12-dev - Parma Polyhedra Library (development) libppl12 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Closes: 680897 Changes: ppl (1.0-1) experimental; urgency=low . * New upstream version. Closes: #680897. Checksums-Sha1: 7b1aa6543c0b751451039a92133dc97595301335 1583 ppl_1.0-1.dsc f5be29fe0c2a17090ba6232f0e90b5c8e65bebb9 13847344 ppl_1.0.orig.tar.xz 0d2159fde433db5060828262a7a2feb2e634bae7 15023 ppl_1.0-1.debian.tar.gz 604fe0160941c1734d9506049b0150d36e955939 730824 libppl12_1.0-1_amd64.deb e07f734a35112e8b00c7f8ba0167e28cf3819054 3970986 libppl0.12-dev_1.0-1_amd64.deb 66fabcb37b7d53979fa45be2f959863c2e69b274 187694 ppl-dev_1.0-1_amd64.deb 5791a2a1cc8ffa20cd961e0c412e73591baf4350 1523470 libppl-c4_1.0-1_amd64.deb 0ba54d0b71c3859c1c16658e10bff4b522b5fa57 5802534 libppl-swi_1.0-1_amd64.deb 6be4355d3a8795c5a6095b325806dfaaef9a4790 7395010 libppl-doc_1.0-1_all.deb Checksums-Sha256: 1a7055dc6c176525d842186011e2cc2a53eb4913f7159ef6f6a03db555043196 1583 ppl_1.0-1.dsc 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 13847344 ppl_1.0.orig.tar.xz 661ea651585c067b3b6639dc55761570730dbd42ef0cd534c9f895278820f7d1 15023 ppl_1.0-1.debian.tar.gz 3b492623ab0dd468367b86f1649f6d76633576acf77a1a1666dc2ce2030aed62 730824 libppl12_1.0-1_amd64.deb 28efc49c9f5bbfb8165f7e3bbaf26ea7bcabb1dab93664c80b0648e2ec8a4e94 3970986 libppl0.12-dev_1.0-1_amd64.deb 672da1c4c00c10a357859e0561e3f200172ea2c08a066cbee7b4c55a97bc48e4 187694 ppl-dev_1.0-1_amd64.deb 6fac17d750606524b16e4f07816b1f9fc15d8e9a1f3187b79ca3a4ffe1e866e7 1523470 libppl-c4_1.0-1_amd64.deb d784a8d9b775eeab09782b13f4ec6c00a5d32fe062f16b125b34e3500b50c14b 5802534 libppl-swi_1.0-1_amd64.deb b4ecc11d3cadc319b17566446c255435451a22bb155167d654dcddd3c3477f82 7395010 libppl-doc_1.0-1_all.deb Files: 1cdf98b7d67a8093ac4b28680f1806df 1583 libs optional ppl_1.0-1.dsc e8caeb84cd858f64b36333c368891c7b 13847344 libs optional ppl_1.0.orig.tar.xz 58930c68469bbc0ef7b170681e70111a 15023 libs optional ppl_1.0-1.debian.tar.gz 6039f383427637812964085fae07cf9b 730824 libs optional libppl12_1.0-1_amd64.deb aa2bb0f7f09b4ca84dc322133aca644f 3970986 libdevel optional libppl0.12-dev_1.0-1_amd64.deb b40b0ea1e29c0fd9d36f2da4f728c4db 187694 devel optional ppl-dev_1.0-1_amd64.deb 5bfe7be80d78b81201e11379f0b281c9 1523470 libs optional libppl-c4_1.0-1_amd64.deb 878e4042fd5b6a11fa39f7ffb66f6a93 5802534 libs optional libppl-swi_1.0-1_amd64.deb 403b3756ec10313b961f884644baf65b 7395010 doc optional libppl-doc_1.0-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlEF0zcACgkQStlRaw+TLJxCKwCguc7m8t5592PBuwAw6SDJRQzz DGYAn2NdSMuOGuYBMR23dySDGlKeQDSY =eveF -----END PGP SIGNATURE-----
