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
On the other hand, a scratch build with coq upstream's final patch for
ocaml 4.10.0 succeeded on the first try:
Where this is an intermittent problem, I'll have to try more builds to
be sure, but this looks promising.