-----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
