Ubuntu
alt-ergo package

  1. Bug #529408
  2. Comment #19

Comment 19 for bug 529408

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

This bug was fixed in the package ssreflect - 1.2+dfsg-3build1

---------------
ssreflect (1.2+dfsg-3build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
 -- Ilya Barygin <email address hidden> Sat, 06 Mar 2010 10:09:56 +0300