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