-----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-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@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-----


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/e1ypkfv-0003u2...@franck.debian.org

Reply via email to