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 <[email protected]> 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. _______________________________________________ Mailing list: https://launchpad.net/~ocaml-maint Post to : [email protected] Unsubscribe : https://launchpad.net/~ocaml-maint More help : https://help.launchpad.net/ListHelp
