-----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 Uploaders: Mehdi Dogguy , Ralf Treinen 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-----