ocaml-maint team mailing list archive

Thread
Date

[Bug 421084] Re: [OCaml 3.11.1 transition] Please rebuild alt-ergo on armel

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

This bug was fixed in the package alt-ergo - 0.8-1build1

---------------
alt-ergo (0.8-1build1) karmic; urgency=low

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

 -- Michael Bienia <geser@xxxxxxxxxx>   Tue, 01 Sep 2009 09:44:02 +0200

** Changed in: alt-ergo (Ubuntu)
       Status: New => Fix Released

-- 
[OCaml 3.11.1 transition] Please rebuild alt-ergo on armel
https://bugs.launchpad.net/bugs/421084
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is subscribed to alt-ergo in ubuntu.

Status in “alt-ergo” package in Ubuntu: Fix Released

Bug description:
Binary package hint: alt-ergo

Currently, alt-ergo links against OCaml 3.11.0 on armel. It must be rebuilt there to finish the transition in Ubuntu ports.