On Fri, Jul 27, 2012 at 11:41 AM, Richard W.M. Jones <rjones(a)redhat.com> wrote:
Yes, now I do recall that. Also, I seem to remember that
it built OK (for me) locally, but not in Koji. That would
be quite similar wouldn't it ...
Is there a BZ for the coq failure?
Rich.
No, I never filed one. I've never been sure whether it was a coq
problem, an ocaml problem, or something else. I also haven't tried
building for awhile. I'm going to fire off a scratch build and see
what happens.
--
Jerry James
http://www.jamezone.org/