-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: matita Binary: matita, matita-standard-library Architecture: any Version: 0.5.3-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: 80c5d07f3261d7a14868816de01d52cd4455e374 1933149 matita_0.5.3.orig.tar.gz 876bc60482f94ff4ff5bc0bb4dfd4cbc61eb3c32 4407 matita_0.5.3-1.diff.gz Checksums-Sha256: e2e138028674c5a62c2419971125c45390efb077541b35593dd78a959547459d 1933149 matita_0.5.3.orig.tar.gz 2371edb60ab43cd3c9e42f4f6545332d34d318d46a56b500a86121f10e5fd1d0 4407 matita_0.5.3-1.diff.gz Files: eb7517fc3d265e1e562989b96850fcd0 1933149 matita_0.5.3.orig.tar.gz f247cc1cf04c858bce7d11ffe2015c6c 4407 matita_0.5.3-1.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkiHrEIACgkQ7kkcPgEj8vJyeQCeOx2jB0WITU+OBWx9BHutMslz wwwAn1wruYqY0rW/UNiEMKm8/xuK/+Mj =imLY -----END PGP SIGNATURE-----