[ubuntu/utopic-proposed] ppl 1:1.1-3ubuntu1 (Accepted)
Matthias Klose
doko at ubuntu.com
Sat Jul 26 08:09:16 UTC 2014
ppl (1:1.1-3ubuntu1) utopic; urgency=medium
* Merge with Debian; reamining changes:
- Don't build-depend on swi-prolog (universe).
ppl (1:1.1-3) unstable; urgency=medium
* Build using dh-autoreconf instead of autotools-dev. Closes: #755959.
* Define our own \+ latex command. Closes: #751355.
* Fix linking of libppl_tests.
ppl (1:1.1-2) unstable; urgency=medium
* Work around GCC PR target/60609 to avoid the build failure
of the SWI Prolog bindings on armhf.
Date: Sat, 26 Jul 2014 09:55:24 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
https://launchpad.net/ubuntu/utopic/+source/ppl/1:1.1-3ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 26 Jul 2014 09:55:24 +0200
Source: ppl
Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.1-3ubuntu1
Distribution: utopic
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)
Closes: 751355 755959
Changes:
ppl (1:1.1-3ubuntu1) utopic; urgency=medium
.
* Merge with Debian; reamining changes:
- Don't build-depend on swi-prolog (universe).
.
ppl (1:1.1-3) unstable; urgency=medium
.
* Build using dh-autoreconf instead of autotools-dev. Closes: #755959.
* Define our own \+ latex command. Closes: #751355.
* Fix linking of libppl_tests.
.
ppl (1:1.1-2) unstable; urgency=medium
.
* Work around GCC PR target/60609 to avoid the build failure
of the SWI Prolog bindings on armhf.
Checksums-Sha1:
2992fc2ca9405d65b78ff19be8c8847cd562df56 1558 ppl_1.1-3ubuntu1.dsc
cabee05bade6fcfd226e01d218b274e11081ede4 10624 ppl_1.1-3ubuntu1.debian.tar.xz
Checksums-Sha256:
02ec40e03739f0d37e827429d28cb3a6d4e88826168c3267b874d71b8b41382f 1558 ppl_1.1-3ubuntu1.dsc
9c5919b2b72ce5e1ed0705f8998d239896f64899fc7a7258a63f21415eabe97e 10624 ppl_1.1-3ubuntu1.debian.tar.xz
Files:
5360a52946790189d4621287afa161ed 1558 libs optional ppl_1.1-3ubuntu1.dsc
d606fb6ac6d15a73e409cc1093513c0f 10624 libs optional ppl_1.1-3ubuntu1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlPTX7oACgkQStlRaw+TLJxUUgCfewuvV3qjEqKxgtamzt7cnm4A
2DsAn0ViuKnNS2yANFXjjGHBj9l8SoTo
=KmQ8
-----END PGP SIGNATURE-----
More information about the Utopic-changes
mailing list