Hello Michael, 2009/8/18 Michael Bienia <mich...@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. -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss