-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: matita Binary: matita, matita-doc Architecture: any all Version: 0.5.8-3build1 Maintainer: Debian OCaml Maintainers Uploaders: Enrico Tassi 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, 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, help2man, libgtkmathview-dev (>= 0.8.0-2) Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml Package-List: matita deb math optional matita-doc deb doc optional Checksums-Sha1: be0a4ed35dbcd021abedb8b41a936d632131d4a8 5879034 matita_0.5.8.orig.tar.gz db365b915cf153ab5208a4ee16c6ee9037fdb889 6627 matita_0.5.8-3build1.debian.tar.gz Checksums-Sha256: bad9d65401e4a9a48614749a992148e646ac5bb7f032a189208ce4e4c5b08bd2 5879034 matita_0.5.8.orig.tar.gz 3178c80be19a454219929d7adbcbc5f404d3d523a7afc451d0c9e960a0345be7 6627 matita_0.5.8-3build1.debian.tar.gz Files: ef3faccd0d6a399abcdd01f20a278353 5879034 matita_0.5.8.orig.tar.gz c9b595118c8e6427f924c09c16d33d46 6627 matita_0.5.8-3build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJO1JE6AAoJEFOMB2b0vLOO9jYH/j0hCr9bZ5DSnXCpQZBEnwvX iv0pXXH6WtXaD+XrWWaVuZ6MCFUP7j7JmkxAuWxmwXaZlos2qZh4FdxAWPbdxGVC 6v0ZX6MNBsb1bv1aySwZ4sHDcIdUe8iF9c1LPJhIuo7uve7yNCwCBEFfGYyURSo4 X35rEgBwtZsJ2a43Y29aRqIli0uoMeBXI4ryXSkk6OjtGSntpqvkFDCL4A+oGPac R/0W8A/vyfowk4KCgrF9FkzccEnUvI/q4MXZCBLcEjqe59pglxkc/VQuSkBuoMuf qEMqDBDFgyp9b+0CUaombpIUKbZiN+86daUH9gN+KzjWlMti2UxjHu33UWLu9dI= =A6WE -----END PGP SIGNATURE-----