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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo, libalt-ergo-ocaml-dev
Architecture: any
Version: 0.95.1-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://alt-ergo.lri.fr
Standards-Version: 3.9.4
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.0.50~), ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.1), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), dh-ocaml (>= 0.9.0~)
Package-List: 
 alt-ergo deb math optional
 libalt-ergo-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 eae5cc58bc28bbfd369f5c6ef8f767c835ec9ce9 239053 alt-ergo_0.95.1.orig.tar.gz
 9a21c08fc07e7496fb7e34c7dcae50b530a699cf 14388 alt-ergo_0.95.1-3.debian.tar.gz
Checksums-Sha256: 
 31818b63ff13b4a0f1b853fe8be75823614433ec0cfddb0ee349af579b41fe10 239053 alt-ergo_0.95.1.orig.tar.gz
 8249b0682abb2a6f4a6f75f03545336320ffc493275f8143c5dd24a0474b98e4 14388 alt-ergo_0.95.1-3.debian.tar.gz
Files: 
 c0f1cbfdae04f1c37853ed5fd10154ec 239053 alt-ergo_0.95.1.orig.tar.gz
 beb6a54a3e8d645dad72d18dd7a61d8e 14388 alt-ergo_0.95.1-3.debian.tar.gz

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

iEYEARECAAYFAlIYe2UACgkQtzWmSeC6BMHmQgCgsvCxHNUWRAArnZvlCmGe4tC/
4G4AoJKOzqYsqXXJgZfEIecuMhdWEibE
=cSyD
-----END PGP SIGNATURE-----