-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: matita
Binary: matita, matita-doc
Architecture: any
Version: 0.5.8-3
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, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>= 5), cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, help2man, libgtkmathview-dev (>= 0.8.0-2)
Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml
Checksums-Sha1: 
 be0a4ed35dbcd021abedb8b41a936d632131d4a8 5879034 matita_0.5.8.orig.tar.gz
 c6983361b93d1f453526cf0e49bb273b96e1e3a2 6565 matita_0.5.8-3.debian.tar.gz
Checksums-Sha256: 
 bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2 5879034 matita_0.5.8.orig.tar.gz
 c5bc4d8d3832f33dd57eebb8cf689b00c22b9eb8fa72a39b5951197eac7cce83 6565 matita_0.5.8-3.debian.tar.gz
Files: 
 ef3faccd0d6a399abcdd01f20a278353 5879034 matita_0.5.8.orig.tar.gz
 ede4dca78cfc37ae39e5ca2c31406270 6565 matita_0.5.8-3.debian.tar.gz

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

iQEcBAEBAgAGBQJN6nvVAAoJEAX76EYVmejVY6EH/2ENYVBn6Ib+TzpqnAP4h3sM
SQkSnue5t+P5+7LtuaR2mtA7ZuQYjR5kRaUBJbZDqWn6BAF+BAXudoOe80ZtTXx4
j9YytaCemlAwKLwqazKDGPNQXpdVml8zPmOmHJZRPfCHCKWFicxS/7ips7G47kl+
2AdRfauCBEA7IMWW/RxkRfBq0I+CU8TSnz3NAJ/4y7WDQNegihcjvYLsviCI3wz3
rKft8qpCnFjSBK55zV8ubeSxltA0t8alS7e0ogrt6dLyBQKH2rESoOABBXvlgHEM
z9Dfqjyd0xQq3yrXT2h8L5VDk8QTEbvQ7RtpE932QNMdJnQQBKDXrz9Kgmf+Q14=
=YgyJ
-----END PGP SIGNATURE-----