On Wed, Mar 25, 2020 at 8:57 PM Paul Dufresne via devel
... yeah, I know, might have no link at all with your Coq build... I
Maybe ... but that sure is suspicious. I recall hearing that OpenJDK
is also suffering from weird segfaults. Hmmmm.....
Thanks for the input, Paul. I'll keep investigating.