ocaml-maint team mailing list archive

Thread
Date

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

To: ocaml-maint@xxxxxxxxxxxxxxxxxxx
From: Launchpad Bug Tracker <421088@xxxxxxxxxxxxxxxxxx>
Date: Tue, 01 Sep 2009 08:10:07 -0000
Reply-to: Bug 421088 <421088@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

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@xxxxxxxxxx>   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.