I don't know, now I can't even get the ‘fedpkg local’ to reproduce it :-( Jerry, I suggest this bug is real, but is also likely to be a bug in Coq (most likely) or the OCaml runtime, possibly in the Weak module. You might have more luck asking the upstream developers for help. As for what to do about Fedora 32, how about disabling _smp_mflags, on the basis that it might be load-related? That should at least reduce the non-determinism. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into KVM guests. http://libguestfs.org/virt-v2v _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
