Accepted matita 0.4.96-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 26 Oct 2007 11:25:03 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.96-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
Closes: 448156
Changes:
matita (0.4.96-1) unstable; urgency=low
.
* First upload of svn tag 0.4.96 (Closes: #448156).
Files:
6dbc296af817483553bfb7d7b4f30bc9 1146 math optional matita_0.4.96-1.dsc
6d0cbedadb26ae8cfac346610b6d6527 2809657 math optional matita_0.4.96.orig.tar.gz
0a29298aafabd2d882d9b900807c9b26 3038 math optional matita_0.4.96-1.diff.gz
2eccb3ea228a6eceb30e80be8bf7c8ff 11719412 math optional matita-standard-library_0.4.96-1_all.deb
e0eb2a85f8083403582167db3ef49ce8 3574696 math optional matita_0.4.96-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHPYdO7kkcPgEj8vIRAqKbAKCpwMadEcbZ61r8IY+bZxsbFOGwvACfQjqV
vKKzJAZ0kEKVEgSjqTv2eIs=
=vRbN
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.4.96-1_all.deb
to pool/main/m/matita/matita-standard-library_0.4.96-1_all.deb
matita_0.4.96-1.diff.gz
to pool/main/m/matita/matita_0.4.96-1.diff.gz
matita_0.4.96-1.dsc
to pool/main/m/matita/matita_0.4.96-1.dsc
matita_0.4.96-1_amd64.deb
to pool/main/m/matita/matita_0.4.96-1_amd64.deb
matita_0.4.96.orig.tar.gz
to pool/main/m/matita/matita_0.4.96.orig.tar.gz