Build issue with why and libfloat-coq

David MENTRE dmentre at
Tue Aug 18 08:18:56 UTC 2009


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 installable

The current "coq-float" source package in Karmic is 1:8.2-1.2-3:

The current "coq" source package in Karmic is 8.2.pl1+dfsg-2:

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.


More information about the Ubuntu-devel-discuss mailing list