Accepted alt-ergo 0.95.1-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 24 Aug 2013 10:56:21 +0200
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source amd64
Version: 0.95.1-3
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
Closes: 718010
Changes:
alt-ergo (0.95.1-3) unstable; urgency=low
.
* make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (<<
0.95.1-1) to resolve file conflict with versions of the package before
the split into two binary packages (closes: #718010).
Checksums-Sha1:
7bd8072a6901ce1586eb7319bad7c965e42d0aae 1573 alt-ergo_0.95.1-3.dsc
9a21c08fc07e7496fb7e34c7dcae50b530a699cf 14388 alt-ergo_0.95.1-3.debian.tar.gz
586cfc6ee8c6606c4c0a4142827edafbce3145ce 1051532 alt-ergo_0.95.1-3_amd64.deb
a2fbcc36c83751ab223cd91d9252dcd491b09d30 439162 libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb
Checksums-Sha256:
5266a20dcef3303e13554f25166119ebc54274bf90874cabc3bf226fe0d1ba68 1573 alt-ergo_0.95.1-3.dsc
8249b0682abb2a6f4a6f75f03545336320ffc493275f8143c5dd24a0474b98e4 14388 alt-ergo_0.95.1-3.debian.tar.gz
f59398b998df42a2d2bcb6e93cc04127758bb43af875dc4ae3c5a3970fb7a04f 1051532 alt-ergo_0.95.1-3_amd64.deb
ebc1611c3cd37206730fe9ea6d0f1dbfb6e88600007af32d83b0668b21de0fd7 439162 libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb
Files:
013e8189685cde0f62127f45a0966c9e 1573 math optional alt-ergo_0.95.1-3.dsc
beb6a54a3e8d645dad72d18dd7a61d8e 14388 math optional alt-ergo_0.95.1-3.debian.tar.gz
a0d81563dbe0d713ede7f8ddaaa05932 1051532 math optional alt-ergo_0.95.1-3_amd64.deb
a6d9a4767285b2c71f8a22c419109acf 439162 ocaml optional libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlIYe2kACgkQtzWmSeC6BMErUQCgx45rcP0LjS7Ur0L9PvjcNNL/
INgAoMqxp6vIlbS0r0DAYGLGs3tdCLf3
=De1c
-----END PGP SIGNATURE-----