[ubuntu/xenial-proposed] alt-ergo 0.99.1+dfsg1-4build3 (Accepted)

[Matthias Klose]

alt-ergo (0.99.1+dfsg1-4build3) xenial; urgency=medium

  * Rebuild for new OCaml ABIs.

Date: Fri, 12 Feb 2016 12:05:17 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/alt-ergo/0.99.1+dfsg1-4build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 12 Feb 2016 12:05:17 +0000
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 0.99.1+dfsg1-4build3
Distribution: xenial
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
Changes:
 alt-ergo (0.99.1+dfsg1-4build3) xenial; urgency=medium
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1:
 d62ba863b629abe417f4cffd7c91ed0e4bd52b85 2256 alt-ergo_0.99.1+dfsg1-4build3.dsc
 c10175f8511b44c9655da265ec1cbb429d9fa3d3 12792 alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz
Checksums-Sha256:
 baf614fc57e32ea033c83ba84e08e7d7d01073c2815c98e661f285bf2dec67ee 2256 alt-ergo_0.99.1+dfsg1-4build3.dsc
 ed1f41ad1f0f81cf5e3cb82ae41ac9f6967113b058f1650561d0ba10b8fda906 12792 alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz
Files:
 b8920d72e51b65b7a9b811b9e6b82b4d 2256 math optional alt-ergo_0.99.1+dfsg1-4build3.dsc
 54cba9675336b35f8b81cae651654e20 12792 math optional alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWvcsUAAoJEL1+qmB3j6b14F0P/2SqBh1Elww1IoKh9Bv1i4aq
jFEUxZfMC8MyiyoLFC35iJE4njTh0rylIzRdyPO7/bVOlrCO0FaNqCuvuium8B/u
Dp7XY5cxzSFq4eRAxPA4eLyApdA/1LrtbsNdvBDck5CJLcp2YaPaHfALyFh9sLL4
FwHZj9iTCZVrieWEvlVw9nHio3MtWISUNZx7InRZsNHQtdgocNuQapOJ32kc/hwU
+IkYppQfY67srd334PUgRGL7yQggL3UeJL8xJtOsVYgdyszGXKnB1up66tKLv9+R
3sTkpLrs4bFgQtmXhcS5A3PR3QDz9YHUllZ/sY6sOXVRbNLv9/ieUc3cnUjfhipM
KPcbq+KGTsu6iBAjGaWvqeZRShMY4Mtr02FUBomnqHuwlNBUR9Vl/QUj6EaT79Vp
7n5xWS1IswBpQW7adJJ0yvQoYcoigHNBRTPbUMrvCh1o3OBxYsROvQo5wMxdGIl5
HoKYj1FUBornyvz02yNtYMZhOGqNBQwamBUwbcUqbB7a10cpqMm/Np1zAK/v5TP2
aGj9du2XwloaX57aRQgc5C2yeMhwQq4epj3saQEbBw9u3IT4yI68te+vSnTgjecx
KFF0N6KNEF735XnNTaO6q0C9knhKt4NR9yd4klPqbjSxVjoPoC9fKi8SHIcFPfAF
8+53Z7S42mppjhGO8VKw
=owKg
-----END PGP SIGNATURE-----