Back to matita PTS page

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