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