[ubuntu/raring-proposed] ppl 1.0-1ubuntu1 (Accepted)

[Matthias Klose]

ppl (1.0-1ubuntu1) raring; urgency=low

  * Merge with Debian; remaining changes:
    - Disable building the SWI-Prolog bindings as its in universe.

ppl (1.0-1) experimental; urgency=low

  * New upstream version. Closes: #680897.

Date: Mon, 28 Jan 2013 02:29:37 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/raring/+source/ppl/1.0-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 28 Jan 2013 02:29:37 +0100
Source: ppl
Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1.0-1ubuntu1
Distribution: raring
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
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-1ubuntu1) raring; urgency=low
 .
   * Merge with Debian; remaining changes:
     - Disable building the SWI-Prolog bindings as its in universe.
 .
 ppl (1.0-1) experimental; urgency=low
 .
   * New upstream version. Closes: #680897.
Checksums-Sha1: 
 5a5aab3e9f78c6925951446149611ee6fb5e3b8f 1665 ppl_1.0-1ubuntu1.dsc
 f5be29fe0c2a17090ba6232f0e90b5c8e65bebb9 13847344 ppl_1.0.orig.tar.xz
 9ac7c674c3365c09fa234cda477ce3a21b73791d 15491 ppl_1.0-1ubuntu1.debian.tar.gz
Checksums-Sha256: 
 a0250f1b9c86286d55e6f8391da07f29aea3417a344fee3052d3a958209b1728 1665 ppl_1.0-1ubuntu1.dsc
 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 13847344 ppl_1.0.orig.tar.xz
 f4318fdf47798712b3536eaa72ff38f4b00ea97ab5f994973cbba909bce90274 15491 ppl_1.0-1ubuntu1.debian.tar.gz
Files: 
 183be77050786f5832c4fc1312cc1646 1665 libs optional ppl_1.0-1ubuntu1.dsc
 e8caeb84cd858f64b36333c368891c7b 13847344 libs optional ppl_1.0.orig.tar.xz
 ceee9de028f30342eb29d7cffd32da76 15491 libs optional ppl_1.0-1ubuntu1.debian.tar.gz
Original-Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlEF9AQACgkQStlRaw+TLJyhbwCfYKeOr0sBHFf3BYGIUNTCyMjO
1pwAoLvDiMJM+wJQwZjQX9NMj7492/gG
=66/C
-----END PGP SIGNATURE-----