-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 20 Mar 2009 18:19:50 +0100 Source: matita Binary: matita matita-standard-library matita-doc Architecture: source all amd64 Version: 0.5.7-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Enrico Tassi <gareuselesinge@debian.org> Description: matita - interactive theorem prover matita-doc - user manual of the Matita interactive theorem prover matita-standard-library - standard library for the Matita interactive theorem prover Changes: matita (0.5.7-2) unstable; urgency=low . * rebuild against ocaml 3.11 * copyright file points to versioned licenses Checksums-Sha1: 963dab5dd78f6d5cef73cc23af3291e099dd90ac 1711 matita_0.5.7-2.dsc be33824dcf12cbe082739e5fec8822c68124f4a1 5016 matita_0.5.7-2.diff.gz 2e2227e650102e88785dcfeb78b5605043001229 16443820 matita-standard-library_0.5.7-2_all.deb efa83f524bf378550c437d13b956c14d65af28bf 1668252 matita-doc_0.5.7-2_all.deb 279461a7589ce45405c1f7692659f974b9e80620 6225818 matita_0.5.7-2_amd64.deb Checksums-Sha256: 17368e2cbda17a2777357d36d1fc2c567ae1d50dab60951909db3b7f02f0b0b4 1711 matita_0.5.7-2.dsc e66807020c05358e118da1295d710ad8407e2d10cf796f984c18f5777fcab8d6 5016 matita_0.5.7-2.diff.gz 30dce42aa6fca620475a5b4cfa507ff8a9b8a3dadc50c895b9ca92811efb9ac1 16443820 matita-standard-library_0.5.7-2_all.deb 0af030e23cce37e9bb0eefcb3cf57b04ba6a94ccc171adadebac09977e719f4f 1668252 matita-doc_0.5.7-2_all.deb 1dc3bbb74a4bbb37af46a9f8c1c652b75e694c026ae782cdc9b900582884d572 6225818 matita_0.5.7-2_amd64.deb Files: f5b7cddd3dfba5b164c6ce1787a3fee9 1711 math optional matita_0.5.7-2.dsc f410732292c91db1e1b1d1fb390f83a3 5016 math optional matita_0.5.7-2.diff.gz 3b99061429db8be82a143d12514c4a5e 16443820 math optional matita-standard-library_0.5.7-2_all.deb c44be877621a7b2a9b3221b194b9842c 1668252 doc optional matita-doc_0.5.7-2_all.deb 7e498f9240b1966b3e609f5f2925e6b7 6225818 math optional matita_0.5.7-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAknEBmoACgkQ7kkcPgEj8vLydACgnPA6yRU/MsdlbtOleb5ySkPM HeIAn2uKVoJUDw4PK10NqM5v1qRmnkIU =ovJG -----END PGP SIGNATURE----- Accepted: matita-doc_0.5.7-2_all.deb to pool/main/m/matita/matita-doc_0.5.7-2_all.deb matita-standard-library_0.5.7-2_all.deb to pool/main/m/matita/matita-standard-library_0.5.7-2_all.deb matita_0.5.7-2.diff.gz to pool/main/m/matita/matita_0.5.7-2.diff.gz matita_0.5.7-2.dsc to pool/main/m/matita/matita_0.5.7-2.dsc matita_0.5.7-2_amd64.deb to pool/main/m/matita/matita_0.5.7-2_amd64.deb
