[ubuntu/trusty-proposed] alt-ergo 0.95.2-1build1 (Accepted)

[Matthias Klose]

alt-ergo (0.95.2-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.

Date: Mon, 23 Dec 2013 22:01:38 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/trusty/+source/alt-ergo/0.95.2-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 23 Dec 2013 22:01:38 +0000
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source
Version: 0.95.2-1build1
Distribution: trusty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
 libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries
Changes: 
 alt-ergo (0.95.2-1build1) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 0bcf0962a3a33f49c205fbe188f41a9748bb8a85 1618 alt-ergo_0.95.2-1build1.dsc
 7187d0af297df66007bd77c9b0e1cc91c2bbeb93 11953 alt-ergo_0.95.2-1build1.debian.tar.gz
Checksums-Sha256: 
 554c38504c9aeb73f1dbcad9cd4d3a62fc27bd3c29abac6cff26008a1324ca01 1618 alt-ergo_0.95.2-1build1.dsc
 01eee9f1e4e3081d8aafce28a798d107a6af9e44e98a4d01bc0fce460ea02cff 11953 alt-ergo_0.95.2-1build1.debian.tar.gz
Files: 
 865f86c8dbe0110f9e96e4a1a456bcd7 1618 math optional alt-ergo_0.95.2-1build1.dsc
 749b06541afabe0aab34e46bb0ed20a0 11953 math optional alt-ergo_0.95.2-1build1.debian.tar.gz

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

iEYEARECAAYFAlK4sz4ACgkQStlRaw+TLJxzsQCgv5EZ9VI1bhm6kHW2MGT9IRQp
WJAAoLkbS4y03BQSuW58j5jMev949I6r
=ryRo
-----END PGP SIGNATURE-----