Accepted matita 0.5.0~rc1-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 01 May 2008 14:11:10 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source all amd64
Version: 0.5.0~rc1-1
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-standard-library - standard library for the Matita interactive theorem prover
Changes:
matita (0.5.0~rc1-1) unstable; urgency=low
.
* New upstream release candidate, fixing many relevant bugs and cleaning up
the standard library of theorems
* Strict dependency over libgtkmathview >= 0.8.0-2
Checksums-Sha1:
67938bc69e3199954cb02fba97faa9138aee124d 1680 matita_0.5.0~rc1-1.dsc
e7b452535839b60d5ce6d7f9b7bd5b4069dbf614 1925162 matita_0.5.0~rc1.orig.tar.gz
a2949c0e1355135612f0cf7ed88b9c3c6c24427a 4334 matita_0.5.0~rc1-1.diff.gz
0e5315f085f88d7c14954d2a7f38fb40f4fd0c5e 11415352 matita-standard-library_0.5.0~rc1-1_all.deb
fa0365911f47f3d36458822c6b2194d3a247832c 3585244 matita_0.5.0~rc1-1_amd64.deb
Checksums-Sha256:
e32d1858b33c7f8ce262f23f32d9a3ef57923643ac2a0d09549bbc44e303391d 1680 matita_0.5.0~rc1-1.dsc
fe9f1e252ed03c343980883b6a5b0bc7aecf3ef57a5fbc35ba5cb61d1333a8d7 1925162 matita_0.5.0~rc1.orig.tar.gz
b7ef01a69cbe9010caa2346268b51d139567d82fca44248b58179592d8c97b79 4334 matita_0.5.0~rc1-1.diff.gz
183177be8aef54e6a7c674775e125660e19bda41f1d24684f7b18561e8ee419c 11415352 matita-standard-library_0.5.0~rc1-1_all.deb
abb911cf248ffad6b71b6e0929fe8b38e3cc5dfb21c616561ec3c9e3fda80fd5 3585244 matita_0.5.0~rc1-1_amd64.deb
Files:
2f928d1203a569cc7f2a3c6fb85509d2 1680 math optional matita_0.5.0~rc1-1.dsc
21363f430eff02cf1ce6dba15714dcf2 1925162 math optional matita_0.5.0~rc1.orig.tar.gz
3779ab7f8b9e695a27b8ec5b6175befc 4334 math optional matita_0.5.0~rc1-1.diff.gz
fb0358899854e5abd9764b17bf4f444a 11415352 math optional matita-standard-library_0.5.0~rc1-1_all.deb
90e97cc1d39f7b54a83a39f9363da983 3585244 math optional matita_0.5.0~rc1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFIGcTk7kkcPgEj8vIRAi5sAJ9YIRLKmQ3sRZWISGsbRCcsNc52DwCdH+2w
x1urrFh2Der59mk9MoSFs1A=
=/6LJ
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.5.0~rc1-1_all.deb
to pool/main/m/matita/matita-standard-library_0.5.0~rc1-1_all.deb
matita_0.5.0~rc1-1.diff.gz
to pool/main/m/matita/matita_0.5.0~rc1-1.diff.gz
matita_0.5.0~rc1-1.dsc
to pool/main/m/matita/matita_0.5.0~rc1-1.dsc
matita_0.5.0~rc1-1_amd64.deb
to pool/main/m/matita/matita_0.5.0~rc1-1_amd64.deb
matita_0.5.0~rc1.orig.tar.gz
to pool/main/m/matita/matita_0.5.0~rc1.orig.tar.gz