-----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.2-1build1
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.5
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~), libzarith-ocaml-dev, dh-ocaml (>= 0.9.0~)
Package-List: 
 alt-ergo deb math optional
 libalt-ergo-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 6555c40ba9d5690e98093c1ed2b53090e6f35ef2 233778 alt-ergo_0.95.2.orig.tar.gz
 7187d0af297df66007bd77c9b0e1cc91c2bbeb93 11953 alt-ergo_0.95.2-1build1.debian.tar.gz
Checksums-Sha256: 
 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac 233778 alt-ergo_0.95.2.orig.tar.gz
 01eee9f1e4e3081d8aafce28a798d107a6af9e44e98a4d01bc0fce460ea02cff 11953 alt-ergo_0.95.2-1build1.debian.tar.gz
Files: 
 ab9c160f7ecb26aa2479f9169db9b869 233778 alt-ergo_0.95.2.orig.tar.gz
 749b06541afabe0aab34e46bb0ed20a0 11953 alt-ergo_0.95.2-1build1.debian.tar.gz

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

iEYEARECAAYFAlK4sz4ACgkQStlRaw+TLJxE/gCghqPKwG1zmwpWckmEMIk3n9D/
p4IAoL7Tlp8EWF4yqlzV6CwsueWbw3Ik
=v7nf
-----END PGP SIGNATURE-----