Accepted matita 0.5.3-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 23 Jul 2008 23:32:19 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source all amd64
Version: 0.5.3-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.3-1) unstable; urgency=low
.
* New upstream bugfix release
Checksums-Sha1:
4483933def6fe49b70db796f5ec524c8ec9fcfe0 1660 matita_0.5.3-1.dsc
80c5d07f3261d7a14868816de01d52cd4455e374 1933149 matita_0.5.3.orig.tar.gz
876bc60482f94ff4ff5bc0bb4dfd4cbc61eb3c32 4407 matita_0.5.3-1.diff.gz
6a5dc8b24d0320e9a4b0bd82f6b59248e82a8f5b 12609638 matita-standard-library_0.5.3-1_all.deb
d5126c192aad190a279b6687c00da57ef2294a3a 3626846 matita_0.5.3-1_amd64.deb
Checksums-Sha256:
98ddf66a92a583e7e18b9cf1b6fcdcffdec17c99994c496cd96c8efc4130f74d 1660 matita_0.5.3-1.dsc
e2e138028674c5a62c2419971125c45390efb077541b35593dd78a959547459d 1933149 matita_0.5.3.orig.tar.gz
2371edb60ab43cd3c9e42f4f6545332d34d318d46a56b500a86121f10e5fd1d0 4407 matita_0.5.3-1.diff.gz
bc5907cbb327729224c115cb6d8d8d355bcdd1302fba14d562a52b2585173ba4 12609638 matita-standard-library_0.5.3-1_all.deb
35bd174bbc2520445773a89fe44eccff35a88dc0779ab9a3c2c9994bbf26e61f 3626846 matita_0.5.3-1_amd64.deb
Files:
cec43ecc0dcffc3a48368c0e25484d92 1660 math optional matita_0.5.3-1.dsc
eb7517fc3d265e1e562989b96850fcd0 1933149 math optional matita_0.5.3.orig.tar.gz
f247cc1cf04c858bce7d11ffe2015c6c 4407 math optional matita_0.5.3-1.diff.gz
921908270a8d66deb750b9aa3e915404 12609638 math optional matita-standard-library_0.5.3-1_all.deb
441537c777c6b1d2d0301e889eb53e12 3626846 math optional matita_0.5.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkiHrEoACgkQ7kkcPgEj8vJeOgCfVQ6Br6YSVFO57ouE1xoNkbsL
Q2sAmwTyqwsVHHEb3DBbZ9a40BW+g9FR
=NyDI
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.5.3-1_all.deb
to pool/main/m/matita/matita-standard-library_0.5.3-1_all.deb
matita_0.5.3-1.diff.gz
to pool/main/m/matita/matita_0.5.3-1.diff.gz
matita_0.5.3-1.dsc
to pool/main/m/matita/matita_0.5.3-1.dsc
matita_0.5.3-1_amd64.deb
to pool/main/m/matita/matita_0.5.3-1_amd64.deb
matita_0.5.3.orig.tar.gz
to pool/main/m/matita/matita_0.5.3.orig.tar.gz