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