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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 1.01-1
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.7
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.12.1), 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:
 9374cef4f710127abf690a11c879a31f0336eb5c 226722 alt-ergo_1.01.orig.tar.gz
 5189c787e427cd7ca2c2fc46ffa75a82e9bf1de8 13208 alt-ergo_1.01-1.debian.tar.xz
Checksums-Sha256:
 5101d7f9087b35806b1db05e5e82bc8334e69d1147d7cda04abad0e771d0def8 226722 alt-ergo_1.01.orig.tar.gz
 723b11e9ec9eb10f5358a638378b5d0296bf58b8f32110de4d965327c67609ca 13208 alt-ergo_1.01-1.debian.tar.xz
Files:
 c5fccde3e4379b09b2b848a6f08fc7a7 226722 alt-ergo_1.01.orig.tar.gz
 59b74fa4c32e2f342d307575c0d64b79 13208 alt-ergo_1.01-1.debian.tar.xz

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

iQIcBAEBCAAGBQJW1fxgAAoJEHRcR2bUys3/avQP/29rm0oo+kh67AL7lZ59xdyT
N28vMKp9NG9sluCPqogeTDdV0NSsyxPGwPSztoqQ+GCMZl7jAo2yF+vtG+yxJkQS
vThvnzvzEi+I0LMwfqdhcDmWDGFo7mJEcB8sBDJckeoP2YavGvHVwpdpZK/auzLM
Ws8Gk9UD9f/8JOFtZFU7lQKAaDEaAfOX5xw8u+5AoYICfGAw+m/rwXKeZfeds9Vg
ZN/KFHEGwdZI8X0q8cO+89JWFZBEiOF0rdCzeez236oySA90t2maDKIpb4Jr7eTa
y65dUB6o/XBq+Toj16LXtvMyc5AJjDn3/WNMZdEoCp7Jrbrsoy4ksrw1xFi5g5ea
KO+c/XIywuGff8Wh3cQgZ0bolEcWWIa2oMwQ+aBue+4/SXdQ5KC37P06yo9AkMbs
CyXOX4BmnaHellgzjxLLaxNomLq9fAQya2tm1ZQPjjU7AMbNIzQ0umTaQhw9PATN
XNTLk4/4WC6WKz0W1Xery2rgWpQu/xeiQYyUnDrHrgGDV9WMbZLxm+mNBTt63OD4
dokqEyuLYOrfwJgOq4haeV05DBW0Lyqop5his3ztonUWZHH2v/HPPuRzZt9gZk9G
Cc/6bTvWZiNpsD2ks+Otf0FOGyNW2vomxrFlSITUkm0yyoKXrQ3qFFGeOYyHR97q
TRgRLXsK3fjPcQzesedR
=dq1M
-----END PGP SIGNATURE-----