Ubuntu
alt-ergo package

  1. Bug #421084
  2. Comment #1

Comment 1 for bug 421084

Revision history for this message
Launchpad Janitor (janitor) wrote :

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 address hidden> Tue, 01 Sep 2009 09:44:02 +0200