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 <[email protected]> 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 Debian OCaml Maintainers, which is subscribed to matita in ubuntu. Status in “matita” package in Ubuntu: Fix Released Bug description: Binary package hint: matita Currently, matita links against OCaml 3.11.0 on armel. It must be rebuilt there to finish the transition in Ubuntu ports. _______________________________________________ Mailing list: https://launchpad.net/~ocaml-maint Post to : [email protected] Unsubscribe : https://launchpad.net/~ocaml-maint More help : https://help.launchpad.net/ListHelp
