Hello Stéphane, 2009/8/18 Stéphane Glondu <[email protected]>: > It looks like it's coq-float. It depends on Coq ABI, which is > $COQVERSION-$OCAMLVERSION. It must be recompiled before why.
Thank you for the explanation. Michael Biena has triggered a recompilation of the packages in the proper order. Yours, d. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
