Hello Michael, 2009/8/18 Michael Bienia <michael at bienia.de>: > 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! Yours, d.