matita (0.4.96-1) unstable; urgency=low

  * First upload.

 -- Enrico Tassi <gareuselesinge@debian.org>  Fri, 26 Oct 2007 11:25:03 +0200