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