-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: matita Binary: matita, matita-standard-library Architecture: any Version: 0.5.2-1 Maintainer: Debian OCaml Maintainers Uploaders: Enrico Tassi , Stefano Zacchiroli Homepage: http://matita.cs.unibo.it Standards-Version: 3.7.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, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2) Checksums-Sha1: 21dee173f392a9e6c0ae5005ccc81bdfc3a14c10 1923611 matita_0.5.2.orig.tar.gz f866c004ec83f833b8976b687cac304c8e891179 4386 matita_0.5.2-1.diff.gz Checksums-Sha256: d22a898fd190b5471f0385efd7ae163a7b770da798b2067aa3cccd20c80a2288 1923611 matita_0.5.2.orig.tar.gz 76b91a79616eea13652017ff082323d859038092c516e7ee7fc9eb3573efaded 4386 matita_0.5.2-1.diff.gz Files: e154bb89a0502142c7e26ca69a2f1cda 1923611 matita_0.5.2.orig.tar.gz 5bf904d66c7c6fb638a692a3efffa7b0 4386 matita_0.5.2-1.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkhrVx8ACgkQ7kkcPgEj8vJQxgCeJkjHB3B0+vHy0E1jeolYKowZ t70An29IqYUz5ygBxsOAz0HHyZNr6ebm =3wUN -----END PGP SIGNATURE-----