-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 0.9-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Mehdi Dogguy <dogguy@pps.jussieu.fr>
Dm-Upload-Allowed: yes
Homepage: http://alt-ergo.lri.fr
Standards-Version: 3.8.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Build-Depends: debhelper (>= 7), autotools-dev, ocaml-nox (>= 3.11.1), libocamlgraph-ocaml-dev (>= 1.1), dpatch, dh-ocaml (>= 0.4.1)
Checksums-Sha1: 
 48d11f67146fd8f80302ea95fc8929af10d809a7 113157 alt-ergo_0.9.orig.tar.gz
 130840444f2ed74c8f3f087a3cae500c494c1b4b 9973 alt-ergo_0.9-1build1.diff.gz
Checksums-Sha256: 
 dfa63bccc83bdec1e3e9454c0d06e76e65fda65c5974ec8ba735fe9463624f69 113157 alt-ergo_0.9.orig.tar.gz
 9a4c30e3c626833f3f84996e496c206f57668d5a3e350651d266bc6f3650325b 9973 alt-ergo_0.9-1build1.diff.gz
Files: 
 f874172b4391fd7bc2a88f2346379424 113157 alt-ergo_0.9.orig.tar.gz
 7c047edb3bf2be5f53f55f3105ec3ab9 9973 alt-ergo_0.9-1build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQEcBAEBAgAGBQJLiqGtAAoJEP+gcEe5E+JxlF4H/0Vh3MDKNSWVKjkR8viVG/ZW
Cw9WJgdlFpvCbsaVVCZDdYZkDUlyU1BfB6rXHcJnuokI5trL00aBQqee9yiPS7xu
AkKGJj4G5xMpJ73vO3kXmgOmDAxWni28CBMhUuEFN3mRd5Or6ybm0sXhijarMxXF
cIgXQ86dS0yhRVhgyPwE6rbKHMsOOHi3+kjxgfrS8mZS5kVbg5aBZ1lXvNa01KVc
Tnh8Tn0G6T6SDzarpr1EyCiQc4osYSGl90ZL7jqJ0UWjvLOo0efW5ROLl5K+HEfS
JSwB4cbuhYgn2XLxvv7VBOaxzx90Rs7Jdals3FKyTRHM/G0HBRvOrMvSEtIm1/o=
=0Q1y
-----END PGP SIGNATURE-----