-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 0.99.1+dfsg1-4build1
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.6
Vcs-Browser: http://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/alt-ergo.git/
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/alt-ergo.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.8.5~), 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 arch=any
Checksums-Sha1:
 b8f439fcfb27328d44807edc77720f3321c31af2 222894 alt-ergo_0.99.1+dfsg1.orig.tar.gz
 a9f09880e7a03218baee1e84a5f84eb4cd637e74 12748 alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz
Checksums-Sha256:
 8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f 222894 alt-ergo_0.99.1+dfsg1.orig.tar.gz
 5f4d4c77eeb48890cbfeb5dab7aed848c1664d975be48ce7b27999641916f941 12748 alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz
Files:
 5b992a955bdf0a5d11fedbcbc3c27143 222894 alt-ergo_0.99.1+dfsg1.orig.tar.gz
 bca39e499d2eac562d5d09ce6b8400fe 12748 alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJV7qI8AAoJEL1+qmB3j6b1pjkP/A6d+x4G1d2kKKlvd4VKH1Jc
qv5DbJgRfPjRzl2QbVjvSMD2lQPYoR7rt4spzcmyo1AavP3P3Rtf2g5ahPkJ86fy
T0w6W1Zb47fBokBzTAYG+NXmUa1qRzkgGvbPSHe16jJH6rUj6uwaO2uw/N1GNsC9
0Kr/0jqvAa+Hmco8i+JU/tALxqd+vOKtG705Tr2EQdfn+J6eF/LW7aklxl+adzL9
YbIyETgCZ4ZztB6FeJkfHklpIhj5hqIzIEFMkRwlkyl+kq8IgFYYFpB9dnxq5uN8
hbWBfTveFZ1RSQddeHd1QVJroCAYNfwcRGuvNEB0Z9SLQzSTIbMrSZbXZwASR/sf
qlCU27oeN+t25ZszoOJ2+iJ+qvVim+MkRtgoZ1gCK9yJ2BqLjnEzD10CcBVhTJVt
/RDLESeHsfSZUTgu3ON3ZkR2hXjQdDflVOdycSOmWsCnHlAozJV8og2XlAs3usXV
4KfSUIMzMtRP8nMjKye9x1zPWle80U8MAldi6YB+9r6Asrm+9xC6AOgvkwJmMw0g
jGs/ScYGml1vPj7TzGTT8+3t04ebE6FDcbSAe8ree169AFrcpCwcSKGX4GchtXpt
2wbPeaffg/wq4dEMK8QRgku3HVyf+T79RVoFgULwGPCX6Ox4ohg6PrHtIMzvL4qv
az1TAWQuDUn310unj/1M
=PulJ
-----END PGP SIGNATURE-----