[ubuntu/wily-proposed] alt-ergo 0.99.1+dfsg1-4build1 (Accepted)

[Matthias Klose]

alt-ergo (0.99.1+dfsg1-4build1) wily; urgency=medium

  * No-change rebuild for Ocaml ABI changes.

Date: Tue, 08 Sep 2015 10:53:36 +0200
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-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 08 Sep 2015 10:53:36 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 0.99.1+dfsg1-4build1
Distribution: wily
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-4build1) wily; urgency=medium
 .
   * No-change rebuild for Ocaml ABI changes.
Checksums-Sha1:
 9588dc834b84f8106dddbff7dcf6ca04a5a13198 2256 alt-ergo_0.99.1+dfsg1-4build1.dsc
 a9f09880e7a03218baee1e84a5f84eb4cd637e74 12748 alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz
Checksums-Sha256:
 26c3318b16758509d6a4ccdf29c11941d4ea7efdb0ce8567d45673a3af04329f 2256 alt-ergo_0.99.1+dfsg1-4build1.dsc
 5f4d4c77eeb48890cbfeb5dab7aed848c1664d975be48ce7b27999641916f941 12748 alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz
Files:
 5b7a9f8f3a7c182c8a1e56241f63f14a 2256 math optional alt-ergo_0.99.1+dfsg1-4build1.dsc
 bca39e499d2eac562d5d09ce6b8400fe 12748 math optional alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz

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

iQIcBAEBCAAGBQJV7qJDAAoJEL1+qmB3j6b1jMEQAK/sysrIK99fHoSKS45SfiQN
75NRs9JD8MhnWBURP9QnDGAdRzPSD6YB6e1R/XImc75m4fJolH5CyR3hOmSjguuc
IgaVrnxdEi3IuELxIHoe0c6QR8u02Rf0dMNl5tSC6ipJ2G1sePQ5S2j7IqOHtxto
296VpXirKSaiFhxIOhr+RknZahtB0ZTjmAt9WdlTwRLKGCXrzE5j8b0EYkv28/mz
KjJofi6hBCPNph0dNDeHMbZ40cVkai/LnDjBYfO7xyYyGLsccqYZS0Zty9Ae3qwR
hbTK0l79nT+xgovUHhYR/G7mcOnsjO6u4Zhn66zxWyXmHN1Vh7fHPHVIxx9VBxAb
n/zsJaCLH42h+reiPn/vDTMISZYrBtcof859LhZGgSIjxDXQTvG3Pv/kMQw0bdZm
aG482GdmCN5X8pYMQgaDdEvKAXc3Ab62Xh6/v1YzKAlG/cbZ86BU1OUjNYORUe1L
VXvVHoEVhKZcSqOc1jQPE4PXcv8wqzFQs7wfVaVG8F22WfCbVBmlD235JJeHv/pK
gHplC5qGalMtoo1VJQdkejHQM+9YXB+XRztSPIVIVgnJiQj1T/5M6vs9nZ4U860k
hUJCPJTXEAMn+Vm4gFjbkDOPlvvR8sJSpMBceM4MVfSgWPDIrH4m0j+kRSyOCyd/
9r2r5E3sXF4Z+byesu1s
=Jikg
-----END PGP SIGNATURE-----