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: Dec 05 2023 at 11:01 UTC