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