Stream: Coq users

Topic: PSA: ARM OCaml <4.13 reports stack overflows as SIGSEGV


view this post on Zulip Paolo Giarrusso (Dec 06 2021 at 13:27):

Relevant because stack overflows in Coq aren't so unlikely.
Info in https://github.com/ocaml/ocaml/issues/10547 and https://github.com/ocaml/opam-repository/pull/19323.

view this post on Zulip Paolo Giarrusso (Dec 06 2021 at 13:28):

And OCaml 4.13.0 has a dumb bug so you'll want 4.13.1.


Last updated: Feb 04 2023 at 21:02 UTC