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