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