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

Format: 3.0 (quilt)
Source: matita
Binary: matita
Architecture: any
Version: 0.99.3-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Enrico Tassi <gareuselesinge@debian.org>
Homepage: http://matita.cs.unibo.it
Standards-Version: 3.8.3
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
Build-Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>= 8), camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, autoconf, help2man
Package-List:
 matita deb math optional arch=any
Checksums-Sha1:
 0e990f7e85a21b200ec36365d0f172133356ed66 3145643 matita_0.99.3.orig.tar.gz
 58afce01867ce1ccf0496572111e11f80f1cc969 4296 matita_0.99.3-1.debian.tar.xz
Checksums-Sha256:
 d0f370cfed428c9e6c36b8326d940569124d2c2eb436d51e6b333e6fad2da6b2 3145643 matita_0.99.3.orig.tar.gz
 3eed6f515f2faa507edd374f1f1c15e068e90f274d7eced6bc359030fab2bfe8 4296 matita_0.99.3-1.debian.tar.xz
Files:
 aed44d9f10570f672de0224175b2b28b 3145643 matita_0.99.3.orig.tar.gz
 9e17131a282096b53d110c88aa1853f7 4296 matita_0.99.3-1.debian.tar.xz

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

iQIcBAEBCAAGBQJXRLdbAAoJECUFM8yim3ZP0xoP/0Ac7jqykA5UjC4lftz0kAEZ
xNty57oLyZl7A5v2F+y7pL74v1BBlLhtALd9Zym3JvUP62iyhded1YzAVYoQvvbK
T05aSXxwHewFcIVg4jsxLIoolZUla6k8/p0goYgMBgli1gMvRRjKb489ebj66b8g
n7hysvewzfUOpjHON9W5k/HxSHyOto55YvGQVKyfeO8OaJvtVEHykeLQWrCivh8s
ZCcYfrEqQFTMAJH2pD2ta5yOvGyTtHZsVLjIRyIURC0LYDewk5MA0Eg89uD0THgr
RJCGd7MkDGIq0nTmsn9eNsUGDWMmuHWw8A7gScY3fpo0GxOseWhK5b7X1uE8jnrw
sRqqOKpDMfR8c3cKWcah94atRFXOFJttcdur2S9LlIJGE3o+6gtrnx1JmapRXXkj
OJcBxU55mXRkz7jm5PO7GZayOxjdKvkYdifYrQhX8vR8sWIWCfTiIPsu0fCk9XlR
ioz0esKJM2Qtw2xp+sRBVJ4EhoqEfNRKGpUGM+/9xxH8SpulmGwcMGrMKMENdAzw
ca4GCDBN+z/Yj7//TLldOzlFz0H7F8m5H7pJCd0l+qawT85DecPY0xP8euCWBW/b
8hplitcWFDY3Ve2CupkTXEoBwBPhrWP0kxyP1xGQ0GaQNu0Wq58/ulUi7vvK1pyK
Uy5ehunjeEJlY9becsto
=vQZ/
-----END PGP SIGNATURE-----