-----BEGIN PGP SIGNED MESSAGE----- Hash: RIPEMD160 Format: 1.0 Source: matita Binary: matita, matita-standard-library, matita-doc Architecture: any Version: 0.5.7-2ubuntu2 Maintainer: Ubuntu MOTU Developers Uploaders: Enrico Tassi , Stefano Zacchiroli Homepage: http://matita.cs.unibo.it Standards-Version: 3.8.0 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, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2) Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml Checksums-Sha1: 4dea3b8bc91a239410897cdbb2114c2f230d2747 3645283 matita_0.5.7.orig.tar.gz a37a27263bfa8dd909f1426c2d98b03407e58fcf 5621 matita_0.5.7-2ubuntu2.diff.gz Checksums-Sha256: cc89f8902552b7ed0360633b33fcf0fef843611751a632fd14d2d4bea045b3d2 3645283 matita_0.5.7.orig.tar.gz 0d9c41335b141e10e7c6f3c0462a9c40e731baf9f09b40813feb85d2a0b4f639 5621 matita_0.5.7-2ubuntu2.diff.gz Files: 1ac14d26a3d742206b6d063f4e2d7038 3645283 matita_0.5.7.orig.tar.gz 32fb83ac6e0b5c29f3f4d300cf6ce86b 5621 matita_0.5.7-2ubuntu2.diff.gz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.12 (GNU/Linux) iJwEAQEDAAYFAkqc1agACgkQo8/XfXdugurrTAP7Bu3uo+tyQ4YZuISUaNZQ5DkG BcQD13ezEu07dxFNiPkqHJNOjWIPMba+afkOYFDY+gz7htgD49ZOuelnXA45TbGg n7VsIIQ0o3eA1PPTFKLheWhvIC/3YfaX5YovSFBZFyLT6EdasZ593PlEIHSj3k2o KQEWFwp+D+ePkUAcnCk= =VTRo -----END PGP SIGNATURE-----