[Bug 421088] Re: [OCaml 3.11.1 transition] Please rebuild matita on armel

[Launchpad Bug Tracker]

This bug was fixed in the package matita - 0.5.7-2ubuntu2

---------------
matita (0.5.7-2ubuntu2) karmic; urgency=low

  * Rebuild with OCaml 3.11.1 on armel (lp: #421088)

 -- Michael Bienia <geser at ubuntu.com>   Tue, 01 Sep 2009 09:49:06 +0200

** Changed in: matita (Ubuntu)
       Status: New => Fix Released

-- 
[OCaml 3.11.1 transition] Please rebuild matita on armel
https://bugs.launchpad.net/bugs/421088
You received this bug notification because you are a member of Ubuntu
Sponsors for universe, which is a direct subscriber.