-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.0
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 0.94-1
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, 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
 f5e16ebe2fab9a173a994b89f79955e36468934e 12906 alt-ergo_0.94-1.diff.gz
Checksums-Sha256: 
 bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e 188414 alt-ergo_0.94.orig.tar.gz
 5eb64dd6398bd351882bf3490a1cac822c0b0001e4695ce955099a26e97d7cb7 12906 alt-ergo_0.94-1.diff.gz
Files: 
 c66932c4624f173548fb967a9e091ebb 188414 alt-ergo_0.94.orig.tar.gz
 4eaf93e1fff26f46411189dda5c0a1a1 12906 alt-ergo_0.94-1.diff.gz

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

iQIcBAEBCgAGBQJO6lZeAAoJEHhT2k1JiBrTeE4QAIstPRFRrarvKMsKS6H5WR9A
kfDdmW3xnXMJaPS+rAlzLmDEHE0d/wMS7wncMwa1/zmVNS0Fp6JSHY8ehxviClGL
wZMsVNhMHAQwaTT1RhHlBlJSoxecTYAzvcJ/ljsGj5Pf6p0ugDMEjzZJsk1C8jM8
ls0+jwKPCPOhoRQZDPU5HHa7qxMLUuT/J3wgZ+qnTJ3RVw7F1suErWU4E5RK9vFS
FdUqa7dei+PY9fTwxzg8YXNK/FW1aaR3sLvsekfip9EUnvJpPhB4LdWfHq4PIPWI
M2PMVnOBd1gim7FSBpxZOHpBrooFClJgjmXVkj2BPwHfrEd2a805mZd7AwHZfHDs
J+q5jqQRnuaddJifhPecSA+WSd+lW507b0rCgT4ShqcwuybJMvaNvu0TegpAQ+wf
fD3fMhd2stTdPYrWVzql+ngm2WEYdA/mg/T6Ce6GQoAQTfAu0tTVjxBnXA8TvdvX
DursjCykzusbCaGuXrvxKt1xrmYVvXQqgZNCSyS+MX+DafQqT/5GD/XROvTQF94j
tqW1TEv49MRSCiRTrxLGtYfFH9pUqo/7r++vJAwyu4jOs8QDKqsIFlyEDJVRkObK
C+t2CpUmDDDF4QvOXGE2HerbED2a72q1LIbmiduleWJXTvy200xVMBNzPXSmh24D
OUo3gaXNfJD8X+l5XX+s
=ejFT
-----END PGP SIGNATURE-----