Build issue with why and libfloat-coq

David MENTRE dmentre at
Tue Aug 18 12:38:34 UTC 2009

Hello St├ęphane,

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


More information about the Ubuntu-devel-discuss mailing list