Back to matita PTS page

Accepted matita 0.4.98-5 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sat, 08 Dec 2007 11:29:31 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-5
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.98-5) unstable; urgency=low
 .
   * Added patch to disallow native compilers on alpha and ia64
Files: 
 41c84c5efc4e0f539ef4e322f2d9e8d5 1108 math optional matita_0.4.98-5.dsc
 2a166aac523337f0f76b4cc3d3a55af0 3979 math optional matita_0.4.98-5.diff.gz
 b3345aa9989eb8cbde9095be6f7db234 12539694 math optional matita-standard-library_0.4.98-5_all.deb
 abff600e292ee13975269c53b85a8b1a 3607416 math optional matita_0.4.98-5_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHXphj7kkcPgEj8vIRAnm7AJwI18GLvTjjXvrFWSWxyJhBxCzUhgCfXREF
pk2XcDqgcomrmYgU8wyXhFc=
=6S82
-----END PGP SIGNATURE-----


Accepted:
matita-standard-library_0.4.98-5_all.deb
  to pool/main/m/matita/matita-standard-library_0.4.98-5_all.deb
matita_0.4.98-5.diff.gz
  to pool/main/m/matita/matita_0.4.98-5.diff.gz
matita_0.4.98-5.dsc
  to pool/main/m/matita/matita_0.4.98-5.dsc
matita_0.4.98-5_amd64.deb
  to pool/main/m/matita/matita_0.4.98-5_amd64.deb