ppl (1:1.1-1ubuntu1) trusty; urgency=medium
* Merge with Debian; reamining changes:
- Don't build-depend on swi-prolog (universe).
Date: Wed, 19 Mar 2014 20:04:40 +0100
Changed-By: Matthias Klose <d...@ubuntu.com>
Maintainer: Debian GCC Maintainers <debian-...@lists.debian.org>
https://launchpad.net/ubuntu/trusty/+source/ppl/1:1.1-1ubuntu1
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 19 Mar 2014 20:04:40 +0100
Source: ppl
Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.1-1ubuntu1
Distribution: trusty
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-...@lists.debian.org>
Changed-By: Matthias Klose <d...@ubuntu.com>
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-1ubuntu1) trusty; urgency=medium
.
* Merge with Debian; reamining changes:
- Don't build-depend on swi-prolog (universe).
Checksums-Sha1:
906112f3716b6b0213983355cd1e8121f6908f96 1575 ppl_1.1-1ubuntu1.dsc
d24a9e95c22459b396820109c9bc195f35e60640 14734820 ppl_1.1.orig.tar.xz
91014feaa28f3e5d5324942abd32de169e7c9e11 13155 ppl_1.1-1ubuntu1.debian.tar.gz
Checksums-Sha256:
46bc05bde0b8157e7db9898c49abcf901803e2dc2895465e07da8fc609c7896b 1575
ppl_1.1-1ubuntu1.dsc
c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820
ppl_1.1.orig.tar.xz
200a2f568e2474d0a3c4b88bef943d0efe2678d10e51bf7a23a476ef114ab7ba 13155
ppl_1.1-1ubuntu1.debian.tar.gz
Files:
57314c0f73edc68ac508a0cc503197d3 1575 libs optional ppl_1.1-1ubuntu1.dsc
82617a9c4e08606111ed9d2dc37ececa 14734820 libs optional ppl_1.1.orig.tar.xz
3c7068a72e718e0f4255c1304464daec 13155 libs optional
ppl_1.1-1ubuntu1.debian.tar.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlMp6q8ACgkQStlRaw+TLJx3fwCggfKC8jOC53L5reL+5Ccqy8Jw
qSAAoMjvJENIRVwn6tuBHrep5mtmYFYu
=r52M
-----END PGP SIGNATURE-----
--
Trusty-changes mailing list
Trusty-changes@lists.ubuntu.com
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/trusty-changes
