Build issue with why and libfloat-coq

David MENTRE dmentre at
Tue Aug 18 12:37:13 UTC 2009

Hello Michael,

2009/8/18 Michael Bienia <michael at>:
> 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.

Thanks a lot Michael!


More information about the Ubuntu-devel-discuss mailing list