[Bug 244921] [NEW] Please sync matita 0.5.2-1 from Debian(Unstable)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Daniel Holbach (dholbach):

Binary package hint: matita

matita (0.5.2-1) unstable; urgency=low
 
   * New upstream release

 -- Enrico Tassi <gareuselesinge at debian.org> Wed, 02 Jul 2008 11:39:06
+0200

** Affects: matita (Ubuntu)
     Importance: Undecided
         Status: New

-- 
Please sync matita 0.5.2-1 from Debian(Unstable)
https://bugs.edge.launchpad.net/bugs/244921
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is a direct subscriber.