Accepted alt-ergo 0.99.1+dfsg1-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 04 May 2015 19:05:42 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.99.1+dfsg1-2
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
Changes:
alt-ergo (0.99.1+dfsg1-2) unstable; urgency=low
.
* upload to unstable.
Checksums-Sha1:
c52fa96c15e18ded0dd498bb2bbccb73d7e5825b 2225 alt-ergo_0.99.1+dfsg1-2.dsc
f5f1025a2ec8306d14dd92e94307464cbc361cd4 11964 alt-ergo_0.99.1+dfsg1-2.debian.tar.xz
bb24fa1958ce5df85968ec4add0bab51b1b1d91e 2023762 alt-ergo_0.99.1+dfsg1-2_amd64.deb
Checksums-Sha256:
85d413856a214e8642846acf2ca7ce0f6358272ead56d85c1e80537134cb0e6d 2225 alt-ergo_0.99.1+dfsg1-2.dsc
2d99526526e072e2e7f2579e5283dad55d0600af5c004906b28b880f9af0529b 11964 alt-ergo_0.99.1+dfsg1-2.debian.tar.xz
8e0c6468576ea7e3198cab3fb406ac934afa09d662ceb73d8b47c8cb37f5c7f4 2023762 alt-ergo_0.99.1+dfsg1-2_amd64.deb
Files:
2aa1a805be0d3a109d2704e5691b96ca 2225 math optional alt-ergo_0.99.1+dfsg1-2.dsc
cc71ac51cb9a17b762531ff1bb74190a 11964 math optional alt-ergo_0.99.1+dfsg1-2.debian.tar.xz
e81d5679b3c742da2cf0b950c7d55766 2023762 math optional alt-ergo_0.99.1+dfsg1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVR6n3AAoJEHRcR2bUys3/oHAQAJ0gKQox3AEM6FbgvFu5l5na
T8kA6iOK5ficyvHdRny6mgBm16afXoeLNQIYLC3zj0gggsvDil2iU18q5zfHHpC7
upn0d32jS+Zy/aVRJYBBHZC27y4n7V4MiIXW3kJYr6V+U+ij1zSpYzLdmhd2iFSi
UK7l1JxALBh577HFP6oxZ5mL39BMlR8seU5MGxSwrvnbj3kO7IRLNJBbuCiS0mRK
APHFTzhqI7vKOsV9yM7vANTzrmY3xsrLrd2wM9hfuglcEmA/e53Iv+XvqZo++K8/
5QSCFWh8oziN7vq5YKQRhpQIZzIL0m+/t0net9vWyO+cxsXrDaKJvd0YwH65cIU2
khnOOIxHheg33aiiDvkUlTdbCmvzXI74OijPujsRtMUsKl+BTbiaPhXf9xFcDO3e
rsRA50HPdrdR0sA/OLwXXWc3OX6frqfDcX/FUASCjr2XiFNSLG+bRcRBERrSSHBr
V6vHYP5xyuGLC32qqbhuWyTc7OFHBvWPc9JCixHzVyafm/9qC7+I9VKbhUlXY5Pf
81U+hxXodS9VL0XKY+yFbkUH+b4tE1VlqBYe/48MCmw1GrqPnNEHEhmi8X7IWf0L
i+KEsugP1RyRWrg414zIT+bFWcUvyytYyqr6EktA+X8RQ9DhB58Tv1Afo0vXsg66
9DD5B8C5d1SwgGliCMoY
=Ycx4
-----END PGP SIGNATURE-----