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

Format: 3.0 (quilt)
Source: matita
Binary: matita
Architecture: any
Version: 0.99.1-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
Checksums-Sha1: 
 113a9c653031378efdb6667f1f7c6630924aaa77 10366065 matita_0.99.1.orig.tar.gz
 66b246d99c7d367ff7e7da3cec2b88e2027ea6a4 4364 matita_0.99.1-1.debian.tar.gz
Checksums-Sha256: 
 3a956835a6009c27057e59e06e84621d25ebd133ac72d362636d94dde8deb28e 10366065 matita_0.99.1.orig.tar.gz
 bee09aa09987097524351e04527715c5585e80139ca2298471d2170f5557ccfd 4364 matita_0.99.1-1.debian.tar.gz
Files: 
 57b80c202f003c7bd7ab2c453070425a 10366065 matita_0.99.1.orig.tar.gz
 9efa6ac21db7fcde7b246a0ae9c38209 4364 matita_0.99.1-1.debian.tar.gz

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

iEYEARECAAYFAk+m5scACgkQ7kkcPgEj8vLfqQCdGTzA73w7qz6OEGcwyByA5Zxf
948An0hwvX/9srb4+X8ZRsENJlQzeNiR
=eLkJ
-----END PGP SIGNATURE-----