Accepted alt-ergo 0.94-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 08 Dec 2011 17:18:57 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.94-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (0.94-1) unstable; urgency=low
.
* New upstream release.
* Rebase patches
Checksums-Sha1:
bbc39a5145660006a1001073c8a61212937d9bd9 2108 alt-ergo_0.94-1.dsc
52d32f5ba9ea1ce7bf90ce204d92571d1f62d6db 188414 alt-ergo_0.94.orig.tar.gz
f5e16ebe2fab9a173a994b89f79955e36468934e 12906 alt-ergo_0.94-1.diff.gz
d58a995eb966fa394e23945740098e6452de514a 2445190 alt-ergo_0.94-1_amd64.deb
Checksums-Sha256:
e46033ebf3efac994944cb2e5e3b328e717e9d58c85d8441dec7dd16bb951625 2108 alt-ergo_0.94-1.dsc
bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e 188414 alt-ergo_0.94.orig.tar.gz
5eb64dd6398bd351882bf3490a1cac822c0b0001e4695ce955099a26e97d7cb7 12906 alt-ergo_0.94-1.diff.gz
b176d004b23a5ce4f6872ed93d291996abfbb0847fb3a96969dc188067bf236d 2445190 alt-ergo_0.94-1_amd64.deb
Files:
25c97007c8f5e22e1114d1420c215cda 2108 math optional alt-ergo_0.94-1.dsc
c66932c4624f173548fb967a9e091ebb 188414 math optional alt-ergo_0.94.orig.tar.gz
4eaf93e1fff26f46411189dda5c0a1a1 12906 math optional alt-ergo_0.94-1.diff.gz
d8d2be05d88c97981e3173ffe125dcae 2445190 math optional alt-ergo_0.94-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJO6lZiAAoJEHhT2k1JiBrTPlUP/RctnzDbjeH9+6qkvLKitb/g
7t2yfcdaLnSSoRh1jgaACFwp4Y6oJU6Xz4lw0it4V/YI/B+1Pm16JZy02DsXfYOk
GdvQthjFtWb5+vSl3UgewzP92tFKIqdaQ1Ry1OGT3EFSx5xfC2ZD+xZ+w82TmHlN
2bSnEuttMAG7f+mcmln7SbFqLI9HJKhGxILXyQ443d5oSFQ1VeD86C9H2tgILzUM
fNSLMWJLjGniZagNmbH3pNmI1ZhmS6zO24T3wtSv0AZxrMGDSwQdlcA/Zcp8PBIU
sq75WtUrgtXYkCsl7wlUAz2UQY44R/9MDFkmKoezQ9v9V70uv6I2F6ekU7Eg/Jt6
9F3jISvqAiRukaZ2hy3YdLm7C8aPcxDk6RV/6iPq/XNNfH1N+ALJhC8tV4pjc8jB
d1u/LV8eyY45JthHy1WeAxL0nD5dJWPVe6PMGJzpqK3yFHxVljupgFyZtFZ8cpb6
9vcMb4hxluXInIJva2xWNtG+8t8Zg2zujo3kHtfPoObJix9gOYR85Y3PbYlJL31c
rIJkhu6kXmbn+VasDqaZbSA1nxJ9K+wsB9AMZu4yctsYLttVP3nqBq4qK4VNa641
SBVvHxJ2o4ZEnAV5WEzO8PTbpXCP/7zuOSH50EIFlrKgVKgxNxtuHdkuTzUOHTcO
/8VZC3aTZhZ60KwzcuGX
=SeE4
-----END PGP SIGNATURE-----
Accepted:
alt-ergo_0.94-1.diff.gz
to main/a/alt-ergo/alt-ergo_0.94-1.diff.gz
alt-ergo_0.94-1.dsc
to main/a/alt-ergo/alt-ergo_0.94-1.dsc
alt-ergo_0.94-1_amd64.deb
to main/a/alt-ergo/alt-ergo_0.94-1_amd64.deb
alt-ergo_0.94.orig.tar.gz
to main/a/alt-ergo/alt-ergo_0.94.orig.tar.gz