Accepted matita 0.5.7-2 (source all amd64)
-----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