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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo, libalt-ergo-ocaml-dev
Architecture: any
Version: 0.95.2-3
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.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
 libalt-ergo-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1: 
 6555c40ba9d5690e98093c1ed2b53090e6f35ef2 233778 alt-ergo_0.95.2.orig.tar.gz
 698d5efd7c4576930c56c757d04db8288bc28107 11264 alt-ergo_0.95.2-3.debian.tar.xz
Checksums-Sha256: 
 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac 233778 alt-ergo_0.95.2.orig.tar.gz
 4991ea152a5b95795304295c2641e615fb88feff44afee0b41db252b25ceb27d 11264 alt-ergo_0.95.2-3.debian.tar.xz
Files: 
 ab9c160f7ecb26aa2479f9169db9b869 233778 alt-ergo_0.95.2.orig.tar.gz
 f4c5003e9578a5c51dd39e524c8ff505 11264 alt-ergo_0.95.2-3.debian.tar.xz

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

iQIcBAEBCAAGBQJTXW60AAoJEDO+GgqMLtj/Wp0QAJi3u2MZWhF6TQ2ihEoKQmdp
KWwCUznyTLdbQupl4+oPx8oYTJxxFyr08i8a4dRqxnqJ11oBqDqAoIsR50oiaNBA
yJ9tinCZSDQ8eVlqU2n6ILuiaYPYRbkA3KFBVGcZ8CfFxCUkPUshRxe0kA31kPco
sR6fE/bcoL//29DWTiZjAXevRNPpMknECftw5xqNy60SaPadPiC5yNc6YPfM7shV
4EfnQsBvE8vw/Z+3K0KTMEt81Lq+Bcdmqwgbizub8eX5JDaDzTD9EAO4bkSm4u7A
kVAabBpC8nDfzEidSE4oavz1fNXQXxNANWnDrZIdkjRwHJCeIM4tzVPg4W7gdGdF
G5Piip+QOm+DpkF60wTOZYNym3UMcmzgLKII9NeTjhwpUSMO/DYarYFrGzFEjsA4
1ab8i8Xv4yiy33T+h34csXN+by8o2fuEalzwUSfo7qyN9BAQhjPR+UQziR+5jD+H
MFY4ts4AVf7fv8HW8KWxZ2bmPYORHPB+8dGTDjzGEOCBO7VAxPh8aX9L9faOIGSF
fjdfUzJMWEuU1/iAXd35lMt5LAzMlk5FbvdJlHALFRakvzWh9gb41i7JONJEYPNv
MNDIS27r5UuJg9DOR2IUWGdvDD36xl/2uFmyUnW/zpX/VW5nICX8lWYzWbp/q8hf
HYfervsVwHTb00NIAS20
=3gFI
-----END PGP SIGNATURE-----