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