On Fri, Mar 27, 2020 at 2:41 PM Richard W.M. Jones <rjones(a)redhat.com> wrote:
Yup, and the stack trace shows the failure happening when creating
an
ephemeron.
On the other hand, a scratch build with coq upstream's final patch for
ocaml 4.10.0 succeeded on the first try:
https://koji.fedoraproject.org/koji/taskinfo?taskID=42808115
Where this is an intermittent problem, I'll have to try more builds to
be sure, but this looks promising.
--
Jerry James
http://www.jamezone.org/