Accepted alt-ergo 0.93-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 16 Apr 2011 16:27:24 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.93-3
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.93-3) unstable; urgency=low
.
* Fix lablgtksourceview2 detection on bytecode architectures.
- 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
Checksums-Sha1:
660840fdf3b30e682a5587558456b3e143ed1909 1719 alt-ergo_0.93-3.dsc
b55c5ef028c22b5d287589ef9ebb44eabc3f44bc 12244 alt-ergo_0.93-3.diff.gz
e4023623f80c98d0ed274a7efe6b0455427dfc44 1896748 alt-ergo_0.93-3_amd64.deb
Checksums-Sha256:
29a1bee60cc924b26ab90627701dcff448b7de6203be735dd9b5fbe72c34141a 1719 alt-ergo_0.93-3.dsc
af5511e1a9911d96df60d84fcaa944ff53c99caa24eeb4e2cf0c394b268f8158 12244 alt-ergo_0.93-3.diff.gz
1b17f838aca1c901c78f10776a67012a25635cad677ecfe4717c27b722262f97 1896748 alt-ergo_0.93-3_amd64.deb
Files:
657a9d4d8965ca30dc19535b4af19e6c 1719 math optional alt-ergo_0.93-3.dsc
837e6af368bd1b890d0cea7182a7097a 12244 math optional alt-ergo_0.93-3.diff.gz
91215af044b103827762246fd2fb2b58 1896748 math optional alt-ergo_0.93-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQEcBAEBCAAGBQJNqaiMAAoJEDe1GR0FRlJoqRQH/jV25oGP1W044SVFf6IMZR5D
SudM/lB79DRR1n+AGEBE361I+VSAVVI8ujKMeGswLQNgELcP8r3x+a5YkmDSVGMJ
wrysUTj7Ftd0qu4qMktNNDqtZokC4+8QFgmxJHBIBJN0Ps7fTRGDy+bXijIyxiS4
OP0oBTKyMj4N9rBcOktpuvhzd89/V07vwSajhaIueUJWrccgv62FR4uvnA3SS2Ky
YDbbaySmi0i6MxouIYRXtPW8CQBxjD3ktBVMmBrLJOy/LvCkUpTzNVq+P06FdjrB
emTHRhg8+4j7xGDKKZTtRkRC78+3ePW0XIV0/FyLW643VJoH0Nz55ZR8Bcurvkw=
=M74h
-----END PGP SIGNATURE-----
Accepted:
alt-ergo_0.93-3.diff.gz
to main/a/alt-ergo/alt-ergo_0.93-3.diff.gz
alt-ergo_0.93-3.dsc
to main/a/alt-ergo/alt-ergo_0.93-3.dsc
alt-ergo_0.93-3_amd64.deb
to main/a/alt-ergo/alt-ergo_0.93-3_amd64.deb