On Wed, Mar 25, 2020 at 8:57 PM Paul Dufresne via devel
<devel(a)lists.fedoraproject.org> wrote:
... yeah, I know, might have no link at all with your Coq build... I
don't know.
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.
--
Jerry James
http://www.jamezone.org/