Accepted alt-ergo 0.8-1 (source i386)
-----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
Reply to: