Hello Stéphane,
2009/8/18 Stéphane Glondu :
> 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.
-
David MENTRE a écrit :
> I'm not quite sure of the blocking point. Is it "coq"? "coq-float"? A
> synchronization is needed or just a re-compilation? I would appreciate
> any help.
It looks like it's coq-float. It depends on Coq ABI, which is
$COQVERSION-$OCAMLVERSION. It must be recompiled before
Hello,
For transition to OCaml 3.11.1 in Ubuntu Karmic, the only remaining
package having an issue is "why". It fails to build because its
dependency "libfloat-coq" is not installable:
"""
The following packages have unmet dependencies:
libfloat-coq: Depends: coq-8.2-1+3.11.0 but it is not inst
3 matches
Mail list logo