-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 01 Jun 2010 22:25:38 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.91-2
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.91-2) unstable; urgency=low
.
* Fix build on bytecode architecures: "test" target should depend on
"best" alternative, and not "opt".
Checksums-Sha1:
c942cdf0ed278391bf998c352587a9d486980bf4 1963 alt-ergo_0.91-2.dsc
6a32a73c8e88a54f0c18956e3b2bb6be7098fcf7 10689 alt-ergo_0.91-2.diff.gz
32dff8a781ab8267396b06cd7fa0d0ee931197de 606084 alt-ergo_0.91-2_amd64.deb
Checksums-Sha256:
6c197d8c03850178cbf90b0cdbc716c8a9bea9f7cac62f003ea94b7c94d8724a 1963 alt-ergo_0.91-2.dsc
20f5061b23792515a291264787ec6db06bd71b23e7eee98386abcda3c31ac9fa 10689 alt-ergo_0.91-2.diff.gz
0f58304719b3411a8d2182397cc374c245a4136201a59dc79b8277093978b796 606084 alt-ergo_0.91-2_amd64.deb
Files:
b77b8739f9e00efa99be3ee88522d255 1963 math optional alt-ergo_0.91-2.dsc
47c85848a4dbf7991e0cd6782a9676bd 10689 math optional alt-ergo_0.91-2.diff.gz
d3e43906bb2ca4ca148b3470f6214a8f 606084 math optional alt-ergo_0.91-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJMBW1eAAoJEDO+GgqMLtj/Mv4QAJumcj6zNGFMEPz2GEz5I9FS
G0vNZQYUK4sfGm/yS1+okAFbcPmTjtfRoWLtd20T1lxsQYqVfBhQTHMCL17LubCt
WEihU5tO9iTxLYvDgwjTFgguUqKJQLY2E78O3qDz5nxBEWfONb/CEhJB99hGF56a
PF6HXAQ2mNnndBEj+t/RK/Sp8ygOeJ/sahxKqzK8Qd6DNlUbYw5rOWnpaSWkxlr1
01zNvlRoigWOwC7aMuFZlA2g6fOnslT4/sv3a7O8IV4IilNXrykmboNiOCTjGFri
XtIvpLA/lNlLdRlGwx0kYsQOTYAEN0jaBj2/aChzUfUAquE22QDs3KUh4EonSZuO
ufVHAHTdIE8KYAbS4H3OzL6GXJAk484ir1yfXgA/rRKi7OgVk8Z+AsO1kWxWHduC
zkRTNXLZyuT+7OZuBpUPUusPu6TKoBnZQL7A7y4vu734M6liSTkyxCrcYR4mGt2t
UVHd4kYj6QfzsWW3W6SdP3b3bv5OaMPto8EkeVKOf2KshARNGUMzLPtgoSQzZs6N
cFv4bhAt0cHxF3WQ0DSOeluakJOc1Y61HJ2nWfR+tqG7Vz+F50mLUgpbrk7mAWYL
rH2lRRiO692Po5q0nRiK2gcka2g1KfBt4bgtsQ53rCe+UcwFBEwP0OlEZrSKwrYk
HjR7KaUEj7BOLlWCRWBl
=RVoh
-----END PGP SIGNATURE-----
Accepted:
alt-ergo_0.91-2.diff.gz
to main/a/alt-ergo/alt-ergo_0.91-2.diff.gz
alt-ergo_0.91-2.dsc
to main/a/alt-ergo/alt-ergo_0.91-2.dsc
alt-ergo_0.91-2_amd64.deb
to main/a/alt-ergo/alt-ergo_0.91-2_amd64.deb
