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

Format: 3.0 (quilt)
Source: matita
Binary: matita
Architecture: any
Version: 0.99.1-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, 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
 78129835980f973d80787abb9cadccd742fe5161 4848 matita_0.99.1-3.debian.tar.gz
Checksums-Sha256: 
 3a956835a6009c27057e59e06e84621d25ebd133ac72d362636d94dde8deb28e 10366065 matita_0.99.1.orig.tar.gz
 55f9a083ac801e40f952195b29005967e0e8f5f0f34b6854e989d979f3dd9c74 4848 matita_0.99.1-3.debian.tar.gz
Files: 
 57b80c202f003c7bd7ab2c453070425a 10366065 matita_0.99.1.orig.tar.gz
 2c9f820e35b6649009782f50b9186f46 4848 matita_0.99.1-3.debian.tar.gz

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

iEYEARECAAYFAlKnfDAACgkQ7kkcPgEj8vJ+EACeNGyt+TuA/ZIx7/3nsJt6s294
sxUAoIB3ox6cCBstneOlN0b+xKUNRYYk
=YN3h
-----END PGP SIGNATURE-----