[ubuntu/trusty-proposed] apron 0.9.10-5.2ubuntu5 (Accepted)

Matthias Klose doko at ubuntu.com
Mon Dec 23 16:34:14 UTC 2013


apron (0.9.10-5.2ubuntu5) trusty; urgency=medium

  * Rebuild for ocaml-4.01.

Date: Mon, 23 Dec 2013 16:15:41 +0000
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.2ubuntu5
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 23 Dec 2013 16:15:41 +0000
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source
Version: 0.9.10-5.2ubuntu5
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.2ubuntu5) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 8c69351376094ab79ccc6f5b78bb7fc61a9a86f2 1747 apron_0.9.10-5.2ubuntu5.dsc
 1962096c1d6012ea88034121e0b2aeb7c3de8036 10887 apron_0.9.10-5.2ubuntu5.debian.tar.gz
Checksums-Sha256: 
 104aecbfbdb0695c724e0d90e1a3749fee66233e3b7a63065c12862f4d288653 1747 apron_0.9.10-5.2ubuntu5.dsc
 84d5cabe8541ae4b26090da52e666a5ffa21ae19bb5a17348b2411eeb716b615 10887 apron_0.9.10-5.2ubuntu5.debian.tar.gz
Files: 
 95c9d8fd88c9dc83781fa5b6a1e20402 1747 libdevel optional apron_0.9.10-5.2ubuntu5.dsc
 2fd2e81580df890b91568c45ddbe59c0 10887 libdevel optional apron_0.9.10-5.2ubuntu5.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)

iEYEARECAAYFAlK4Y/8ACgkQStlRaw+TLJwlMgCgjE1MVXNvPANkE11xMSnYKvDC
qLMAoMEQucgePjW4uAB7P9mkYEdamgOj
=u0PK
-----END PGP SIGNATURE-----


More information about the Trusty-changes mailing list