Build issue with why and libfloat-coq

Michael Bienia michael at
Tue Aug 18 10:38:58 UTC 2009

On 2009-08-18 10:18:56 +0200, David MENTRE wrote:

> 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.

I've given back 'why' to the buildds for an other build attempt.

coq-float needed a rebuild for the new coq and OCaml and I requested a
sync of it from Debian unstable.
The build of the new 'coq-float' happened after the build attempt of
'why' so it failed but it's unblocked now.


More information about the Ubuntu-devel-discuss mailing list