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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo, libalt-ergo-ocaml-dev
Architecture: any
Version: 0.95.2-1b1
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
 92aefeeaf083a30abc680bcf3979d7ce3920268f 12107 alt-ergo_0.95.2-1b1.debian.tar.gz
Checksums-Sha256: 
 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac 233778 alt-ergo_0.95.2.orig.tar.gz
 88bba73fe8edf9efafdb9ff9947a9af191b2c7714476e3c70bacfaa5f69b54ec 12107 alt-ergo_0.95.2-1b1.debian.tar.gz
Files: 
 ab9c160f7ecb26aa2479f9169db9b869 233778 alt-ergo_0.95.2.orig.tar.gz
 ed56fce8b95e840ff9c8a9aadbd87b2a 12107 alt-ergo_0.95.2-1b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS7W4AAAoJEIxPDyvAFXjJFLYQAKUXKipFn9scOBozwKZOcoIi
q/qEQ0tRV9wP7rzXfukM42urC8Vkc0hPXqFI9sbTLsEjUMlOGxWaY7FqTuliyAXJ
4XtYR7wr1r/ThW7dkCSZMdS2Z1nrLDZ/Toc0efgqgpsaZNJgeLszF+nfIKTxk2q5
uV5EMCDjFi1P0TZDnYu+KmNdCBD30C5p9QlQ19n5XPhixeYBc7sIO9gnOv/9U3EL
ma/u9ytNREQ8dcwgMj5aBE9WcqOsaUzqHNULth++Y2ghsMbY7Pv5a5dF2mpz+ZI5
SWpQLqPij5Lx4+mYrmcli1lArv5z6A19DPM571tMEiMjxwYYoT9/fOVjEsRns+Xx
g+npFEWAYyR4mJi+SQQGBbVGrZvnaukkLDfTwbzAMWrRrNCEzrAhcPFdvDQLGEyk
i64zM/lVpHhuQu8y0h0sn/gmdjbHZO+9WXg6FEoelRSWMQaDdM3ccWYvq4iCZ6Hq
XNsDhZSpWNQYOuaa4ed6ADnjn62DIAK9FnHg76k6PKFjCzFQjrUsuY4lGwQ8QkpB
NI2ntbV5AGoiDxyu/3OsIttcIpzF3CPK9F0j4iK5NJHYywq/QB0fFQo0lR7B+lJd
hW6n91Trm/NLE+x695elgjCcvBrGlV4FhEmKssvM99Iv+CuXvV+5I4Pk6NyDpC0D
PNExDf0lp7NUz+sh2i1z
=Zt/G
-----END PGP SIGNATURE-----