Accepted matita 0.4.98-4 (source all amd64)

[Enrico Tassi <gareuselesinge@debian.org>]

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