-----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-----
