On Fri, Jul 27, 2012 at 11:41 AM, Richard W.M. Jones <rjo...@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/ -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
