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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 0.99.1+dfsg1-4build3
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
 c10175f8511b44c9655da265ec1cbb429d9fa3d3 12792 alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz
Checksums-Sha256:
 8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f 222894 alt-ergo_0.99.1+dfsg1.orig.tar.gz
 ed1f41ad1f0f81cf5e3cb82ae41ac9f6967113b058f1650561d0ba10b8fda906 12792 alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz
Files:
 5b992a955bdf0a5d11fedbcbc3c27143 222894 alt-ergo_0.99.1+dfsg1.orig.tar.gz
 54cba9675336b35f8b81cae651654e20 12792 alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz

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

iQIcBAEBCAAGBQJWvcsTAAoJEL1+qmB3j6b1em8P/24eC9WPDD2BPgYzDL8CEtft
9WaGzOBJBFEcWszv3mOn3U9C7Oe6aBYs4xjH+fKAfq+zZAqzgvDdjex1MjX+7a4k
W3IAaOgH0TyEZy2fo0wOtUqX0s27F4uoCPhQ+1YsD+ygPdurqsNNxKTiwh/gSIdb
QHD/G6y6RWWLwgxsCWATcwH1Sa8fm1jfrSlK+nIEXsOKDrDsODFAeHUczQwoMPOk
vp3p5YegiFl6cqUs9zMWZiiCgYRUa+6eheFsSFUxxdFoTTB3HHF3pIZuOVBUCFjp
Ib95p78+BbcWgltZ2RE/pybAWgW1EO1sN7hWhF5GWWNwtyIShTygC/KzfMpNNnOw
rZl1jz4ndhHM3hrNY/fy+S8R3VdFe+BhG/YwhiGRCQ9dPNmN597qKwzogOVbb98b
ZJDOVAniJE+jEhxmiVyRAps8ud2hHFSLYMHbJ3njDBvGmhq1gN9gWTPz5uouoxjC
q1dTdc1pVpVUVGYJgBT5Gyqj7kuUfTaW1DO0PdFSkButef8l3mZzsm4KiG+jZcxr
ensiJ6kSsVNIwKKMvwtr2jP1MBBZDvXRK9E59dyeLKpoFbUg4uIuOcgT1YaJHst0
GPkoCVgtS1qM+uroE+gpzJcMD5NQjbZ/PlcJzom7bLQeB0EkNGClNkNXvVjtKTGl
JUh5gyAvlJwEdEiWFBKS
=wUjV
-----END PGP SIGNATURE-----