-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 24 Feb 2009 10:15:46 +0100 Source: alt-ergo Binary: alt-ergo Architecture: source i386 Version: 0.8-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Mehdi Dogguy <dogguy@pps.jussieu.fr> Description: alt-ergo - Automatic theorem prover dedicated to program verification Closes: 468557 Changes: alt-ergo (0.8-1) unstable; urgency=low . * Initial release (Closes: #468557) Checksums-Sha1: ae2d3a3095d86462a0d686646dfec2a71b934ba0 1318 alt-ergo_0.8-1.dsc 929fefee498c81674a4e613b30f90b17bcf3d8de 106253 alt-ergo_0.8.orig.tar.gz 246cf9b731cddcd7c8bcdafd5e2e2271853be749 9816 alt-ergo_0.8-1.diff.gz a574d9a9cf0a1736983d14708a6d01609dde668f 413910 alt-ergo_0.8-1_i386.deb Checksums-Sha256: ef86f8235785768f1b85c885102ccd85402fcdfbf3b012cdf9304944fd7ebd0d 1318 alt-ergo_0.8-1.dsc c7c05812b67d5f0b19dd3bd3b3f8795d3360de2e6febf2f3aff23cf25997b0cf 106253 alt-ergo_0.8.orig.tar.gz fc8a473b99c529e63a40d012cf56f061aae2ac29f242a2ab32020455b206e961 9816 alt-ergo_0.8-1.diff.gz 79e1a2ea333309d59699abb4a205c0c574046fb15916406a00cc7e9f970c8346 413910 alt-ergo_0.8-1_i386.deb Files: 6b3c84a44599a43651894d7d3fd70b08 1318 math optional alt-ergo_0.8-1.dsc ef6c78bdf377bcbe17fc4a94058479cf 106253 math optional alt-ergo_0.8.orig.tar.gz 6098a09ae177268fbb4964ec85ff9529 9816 math optional alt-ergo_0.8-1.diff.gz 712904be866a0e94326d079554b3873c 413910 math optional alt-ergo_0.8-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmq8YYACgkQIae1O4AJae9bAACffbjWGuNxvONcyYtRyeJF07lU CYIAnR+TVn00sptUzRXGBMnaRpurQ74j =sENF -----END PGP SIGNATURE----- Accepted: alt-ergo_0.8-1.diff.gz to pool/main/a/alt-ergo/alt-ergo_0.8-1.diff.gz alt-ergo_0.8-1.dsc to pool/main/a/alt-ergo/alt-ergo_0.8-1.dsc alt-ergo_0.8-1_i386.deb to pool/main/a/alt-ergo/alt-ergo_0.8-1_i386.deb alt-ergo_0.8.orig.tar.gz to pool/main/a/alt-ergo/alt-ergo_0.8.orig.tar.gz
