Accepted matita 0.4.97-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 16 Nov 2007 20:37:55 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.97-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <gareuselesinge@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.4.97-1) unstable; urgency=low
.
* New version svn tag 0.4.96.
Files:
1ddb7f888b739d5cae5b8107b5f42d9d 1146 math optional matita_0.4.97-1.dsc
f5bfe73cde4a393179d225bd8cc596bf 1841037 math optional matita_0.4.97.orig.tar.gz
3861c562b58612920221b51b74173d87 3151 math optional matita_0.4.97-1.diff.gz
845320f6bf29538590ce8023684511ff 11720406 math optional matita-standard-library_0.4.97-1_all.deb
dec72e43cb6d0a5cd3cddc359433a176 3576122 math optional matita_0.4.97-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHPfwE7kkcPgEj8vIRAjInAKCCIWIUJP1WjOcN27voaBUbxlTuNQCgps9+
ErCUBmHqh/yKsgh2Fu7Bwbo=
=PVCU
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.4.97-1_all.deb
to pool/main/m/matita/matita-standard-library_0.4.97-1_all.deb
matita_0.4.97-1.diff.gz
to pool/main/m/matita/matita_0.4.97-1.diff.gz
matita_0.4.97-1.dsc
to pool/main/m/matita/matita_0.4.97-1.dsc
matita_0.4.97-1_amd64.deb
to pool/main/m/matita/matita_0.4.97-1_amd64.deb
matita_0.4.97.orig.tar.gz
to pool/main/m/matita/matita_0.4.97.orig.tar.gz