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

Format: 1.0
Source: matita
Binary: matita, matita-standard-library
Architecture: any
Version: 0.4.98-5
Maintainer: Enrico Tassi <gareuselesinge@debian.org>
Uploaders: Stefano Zacchiroli <zack@debian.org>
Homepage: http://matita.cs.unibo.it
Standards-Version: 3.7.2
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
Build-Depends: camlp5 (>= 5.04-1), cdbs, debhelper, dpatch, help2man, libexpat-ocaml-dev, libgdome2-ocaml-dev, libhttp-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), liblablgtksourceview-ocaml-dev, libmysql-ocaml-dev, libocamlnet-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, ocaml (>= 3.10.0), ocaml-findlib (>= 1.2.1-2), ocaml-ulex08 (>= 0.8-4)
Files: 
 ef7449f06efc67d48ccbddbf55817ac3 1862669 matita_0.4.98.orig.tar.gz
 2a166aac523337f0f76b4cc3d3a55af0 3979 matita_0.4.98-5.diff.gz

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

iD8DBQFHXphi7kkcPgEj8vIRAmpcAJ4+LVe4Wz7e1di1biW5zd263CVcaQCbBTW2
WwNOYt+wjkqWG6eqAcZAyNo=
=5Ml3
-----END PGP SIGNATURE-----