Seems like maybe the coq / ephemeron thing has been fixed?

[Richard W.M. Jones]

https://github.com/ocaml/ocaml/issues/9391
https://github.com/ocaml/ocaml/commit/4716c8e063604b6a9788f36da32c16ba022...

We should pick it up in OCaml 4.13 and I'll try rebuilding
Coq with it at that time.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html

[Jerry James]

On Tue, Jul 20, 2021 at 8:47 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  https://github.com/ocaml/ocaml/issues/9391
>  https://github.com/ocaml/ocaml/commit/4716c8e063604b6a9788f36da32c16ba022...
>
>  We should pick it up in OCaml 4.13 and I'll try rebuilding
>  Coq with it at that time. 
Oh, I hope that's the fix.  That would be great.

Side note: I noticed your messages to the OCaml list kept getting held
for moderation because you are subscribed under your
@fedoraproject.org address, but post from your @redhat.com address.  I
tried tweaking the settings on the list to fix this.  We'll see if I
succeeded the next time you send something.
-- 
Jerry James
http://www.jamezone.org/