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

Format: 1.0
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 0.94-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Mehdi Dogguy <mehdi@debian.org>
Homepage: http://alt-ergo.lri.fr
Standards-Version: 3.8.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~), autotools-dev, autoconf, 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~), quilt (>= 0.46-7~), dh-ocaml (>= 0.9.0~)
Package-List: 
 alt-ergo deb math optional
Checksums-Sha1: 
 52d32f5ba9ea1ce7bf90ce204d92571d1f62d6db 188414 alt-ergo_0.94.orig.tar.gz
 00f14018208f4f83d2d6f674b2dddf0ac050cd24 13077 alt-ergo_0.94-2.diff.gz
Checksums-Sha256: 
 bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e 188414 alt-ergo_0.94.orig.tar.gz
 03605d327d77a760740538933188899f8373db6c454a053cf04a27996a69a2f2 13077 alt-ergo_0.94-2.diff.gz
Files: 
 c66932c4624f173548fb967a9e091ebb 188414 alt-ergo_0.94.orig.tar.gz
 1f9f240a6aa97e4e47e7313aada922a9 13077 alt-ergo_0.94-2.diff.gz

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

iQEcBAEBAgAGBQJPsPmQAAoJEDe1GR0FRlJo8ZYH/i22M76s+EXLEO0Nz6mdlAQ4
WkFHCl2TP1oiA67uB7pEo/LLW3/xP/+BiLj9LjB2hK7erymZTnaegsCjLBIF//ol
QfPxvFMFP9xr64Uha+v6KEPa9SomF6BImb/O3+9qBkTJOSxPPW3hd6aG+3cOBXIU
IjZH5x4kl876F7guwTFrNsywv/gG3WSm+Y2GBdaDioo+itUlPnIcD/RXvaBuacr1
Hkd59a0gV40UAkV38po09pP+/Ozb/nRVSBkW3CV9zwKEuV7eI8wbUFE0xmvZesjD
/rp80XqaCcabjCp1PbGe5NewCazjZbtRAwtwyCtbFIOOiDVrkgWVlLp+NuHGLyY=
=4a9l
-----END PGP SIGNATURE-----