[ubuntu/trusty-proposed] ppl 1:1.1-1ubuntu1 (Accepted)

[Matthias Klose]

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 <doko at ubuntu.com>
Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
https://launchpad.net/ubuntu/trusty/+source/ppl/1:1.1-1ubuntu1
-------------- next part --------------
-----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-gcc at lists.debian.org>
Changed-By: Matthias Klose <doko at 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-----