[ubuntu/trusty-proposed] apron 0.9.10-5.2ubuntu6 (Accepted)
Matthias Klose
doko at ubuntu.com
Mon Dec 23 22:59:15 UTC 2013
apron (0.9.10-5.2ubuntu6) trusty; urgency=medium
* Fix build failure with ppl-1.0.
Date: Mon, 23 Dec 2013 23:57:26 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/trusty/+source/apron/0.9.10-5.2ubuntu6
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 23 Dec 2013 23:57:26 +0100
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source
Version: 0.9.10-5.2ubuntu6
Distribution: trusty
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
libapron - runtime libraries for APRON
libapron-dev - an abstract interpretation library
libapron-ocaml - runtime libraries for APRON (OCaml interface)
libapron-ocaml-dev - an abstract interpretation library (OCaml interface)
Changes:
apron (0.9.10-5.2ubuntu6) trusty; urgency=medium
.
* Fix build failure with ppl-1.0.
Checksums-Sha1:
479719130ca2e05e69f28325faf76b809bc1e87f 1747 apron_0.9.10-5.2ubuntu6.dsc
b7c1524dd525c5a68d3f7c68f8c8c76be44dbbf3 11462 apron_0.9.10-5.2ubuntu6.debian.tar.gz
Checksums-Sha256:
3111d72267dfaeb2aeeabeecc26f1c41c4c5827f43edae931ad2d43eec100c8e 1747 apron_0.9.10-5.2ubuntu6.dsc
97f45aeea2a49a5e947aaf03f3de7db3ee563a74d2230804218487a5a1a6a7ff 11462 apron_0.9.10-5.2ubuntu6.debian.tar.gz
Files:
f9d284c8fecb2940b182ca328aa45c54 1747 libdevel optional apron_0.9.10-5.2ubuntu6.dsc
c5968fb5e70d6c29421d111b58db68f8 11462 libdevel optional apron_0.9.10-5.2ubuntu6.debian.tar.gz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iEYEARECAAYFAlK4wAkACgkQStlRaw+TLJw2aACeNPO3MKStpCk+l40KmdHY99/B
xT0An3/Gt/CoA4uXVad93XDWA8MphyXL
=ZhvD
-----END PGP SIGNATURE-----
More information about the Trusty-changes
mailing list