Ubuntu
alt-ergo package

  1. Bug #529408
  2. Comment #3

Comment 3 for bug 529408

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

This bug was fixed in the package cduce - 0.5.3-2build2

---------------
cduce (0.5.3-2build2) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sun, 28 Feb 2010 20:03:00 +0300