-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: matita Binary: matita, matita-doc Architecture: any Version: 0.5.8-2 Maintainer: Debian OCaml Maintainers Uploaders: Enrico Tassi , Stefano Zacchiroli Homepage: http://matita.cs.unibo.it Standards-Version: 3.8.3 Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/ Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita/trunk 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, dpatch, 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 4507fd27deac56322e47ea4eda40952558e5271f 5266 matita_0.5.8-2.diff.gz Checksums-Sha256: bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2 5879034 matita_0.5.8.orig.tar.gz d24027c681922a6065a13e759910ef46e4936380a89d08ec460e845708cdb91a 5266 matita_0.5.8-2.diff.gz Files: ef3faccd0d6a399abcdd01f20a278353 5879034 matita_0.5.8.orig.tar.gz 879a6c609a8ea707e5d12711e1808669 5266 matita_0.5.8-2.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAksZEVsACgkQ7kkcPgEj8vKXngCfXfgj752nbGIVU8qPcipVzIRS x/oAn3EsXPNW1SBE/fScgGpFVhUG+m2j =May5 -----END PGP SIGNATURE-----