-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: matita Binary: matita, matita-doc Architecture: any Version: 0.5.8-2build2 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 6886bb854982921eeecfc3d10a00f4249c095f62 5361 matita_0.5.8-2build2.diff.gz Checksums-Sha256: bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2 5879034 matita_0.5.8.orig.tar.gz b7c156ed680ec9f23bd043f32295e3864878826c9d22d81d520c6583d09e6105 5361 matita_0.5.8-2build2.diff.gz Files: ef3faccd0d6a399abcdd01f20a278353 5879034 matita_0.5.8.orig.tar.gz 91f74a792fd8a3b915eb9da9827ac677 5361 matita_0.5.8-2build2.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkvIjKAACgkQIHZ33voUATsJOACeM6pEE5EJwdv4Stvyq4/OG9DA rbgAoLVGOaKuP1yuP1e2PxSwqOJyio7z =jgj1 -----END PGP SIGNATURE-----