-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.0
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 0.8-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.0
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.0), libocamlgraph-ocaml-dev (>= 1.0), dpatch, dh-ocaml (>= 0.4.1)
Checksums-Sha1: 
 929fefee498c81674a4e613b30f90b17bcf3d8de 106253 alt-ergo_0.8.orig.tar.gz
 7061fc57859960114a4a4b8824ab5274ab35d990 9897 alt-ergo_0.8-1build1.diff.gz
Checksums-Sha256: 
 c7c05812b67d5f0b19dd3bd3b3f8795d3360de2e6febf2f3aff23cf25997b0cf 106253 alt-ergo_0.8.orig.tar.gz
 944e9e91293fcc92e5b167ab96574c739566ce58c6411c00a4df6a1b081471c0 9897 alt-ergo_0.8-1build1.diff.gz
Files: 
 ef6c78bdf377bcbe17fc4a94058479cf 106253 alt-ergo_0.8.orig.tar.gz
 8366b545e5ecab45cedc3a09d8770b48 9897 alt-ergo_0.8-1build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.12 (GNU/Linux)

iJwEAQEDAAYFAkqc0TwACgkQo8/XfXdugur5AQP+ORJTpd7kv4R9XVWSeob+wPwq
2I6hxHwdAwJ0aRK4lVO6pQE6T23Rhw9gfXT4KKmBPKbz+7EC/rY07kDXuS5KW4aY
mbYzEVKeIS2HRvXKyapl6R2muNjzhTDzDe5715vl75Nj+1xBpBffvCmJQN0RKc5u
sQ6j3FExi9dhRjtOiQI=
=qQ0c
-----END PGP SIGNATURE-----