Build issue with why and libfloat-coq

David MENTRE dmentre at linux-france.org
Tue Aug 18 12:38:34 UTC 2009


Hello St├ęphane,

2009/8/18 St├ęphane Glondu <steph at glondu.net>:
> 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.




More information about the Ubuntu-devel-discuss mailing list