-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 05 Dec 2007 13:45:27 +0100 Source: matita Binary: matita matita-standard-library Architecture: source amd64 all Version: 0.4.98-4 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-4) unstable; urgency=low . * Bumped version on camlp5 >= 5.04 and ulex08 >= 0.8-4 * Added patch to remove dependency on Coq numbers in number_notation.ml Files: cb31ddaec94a6d79010734814e69b4d8 1108 math optional matita_0.4.98-4.dsc 28b9a812662fd003c6ac23baaae793a8 3635 math optional matita_0.4.98-4.diff.gz cdc5a8ee7a2951c12e6d22df267b4b94 12513034 math optional matita-standard-library_0.4.98-4_all.deb 3652af9f484821f5aec925dd14fb949e 3606530 math optional matita_0.4.98-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHWm9d7kkcPgEj8vIRAr7dAJ9btp9dnJF1MQF8XS1qOQ+x6nJz3wCfb7yS /tx1yU49rAdrcHuq5s1r1z8= =LWLC -----END PGP SIGNATURE----- Accepted: matita-standard-library_0.4.98-4_all.deb to pool/main/m/matita/matita-standard-library_0.4.98-4_all.deb matita_0.4.98-4.diff.gz to pool/main/m/matita/matita_0.4.98-4.diff.gz matita_0.4.98-4.dsc to pool/main/m/matita/matita_0.4.98-4.dsc matita_0.4.98-4_amd64.deb to pool/main/m/matita/matita_0.4.98-4_amd64.deb
