Re: Build issue with why and libfloat-coq

2009-08-18 Thread David MENTRE
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. -

Re: Build issue with why and libfloat-coq

2009-08-18 Thread Stéphane Glondu
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

Build issue with why and libfloat-coq

2009-08-18 Thread David MENTRE
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