Accepted alt-ergo 0.95.1-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 10 May 2013 21:19:12 +0200
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source amd64
Version: 0.95.1-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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.1-2) unstable; urgency=low
.
* upload to unstable
Checksums-Sha1:
eb8b875140bf6c01edb62f0448a0a48264a17de2 1573 alt-ergo_0.95.1-2.dsc
d6f1c4acbb02e317265a396beeb86b61b987df89 14331 alt-ergo_0.95.1-2.debian.tar.gz
2f572bd7dd788e63b0a7045712a9c40f8cc42730 2139500 alt-ergo_0.95.1-2_amd64.deb
eb8d3cc8a5a3a61520cba23315470aa46b5cd179 656678 libalt-ergo-ocaml-dev_0.95.1-2_amd64.deb
Checksums-Sha256:
b66ac836de344679a08fe1fed7c38e8ae2b95c012267c0107d9ffc84d29ad817 1573 alt-ergo_0.95.1-2.dsc
d08e2f85e1c04f5af7393f94834897027c3b5d239cd9e56465a95c166d25f9d6 14331 alt-ergo_0.95.1-2.debian.tar.gz
c2024e46d8ec7adc2894d43936a168d5731d47351b5d62e0ab4d706b1ed95b46 2139500 alt-ergo_0.95.1-2_amd64.deb
c6af7b2ff5c2c346cd6661f95d37d81d11d8eba6915cc76ed4f14139ebef6d7e 656678 libalt-ergo-ocaml-dev_0.95.1-2_amd64.deb
Files:
d144edc8ed5aa72d8c058862d0748930 1573 math optional alt-ergo_0.95.1-2.dsc
7e4b62f2ee85e1bb15bf2258236dd1bb 14331 math optional alt-ergo_0.95.1-2.debian.tar.gz
81a0f7739239c3dc79acaa9c92551fc3 2139500 math optional alt-ergo_0.95.1-2_amd64.deb
853267960fc5b7de24d130409adf8ddd 656678 ocaml optional libalt-ergo-ocaml-dev_0.95.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlGNWGgACgkQtzWmSeC6BMFChgCgg4QWDFLIATSZp1HQeiOAEHiS
i/QAoLCVkIan/l8BM3RV1m5ElpsKsutn
=HXmZ
-----END PGP SIGNATURE-----