On Thu, Apr 9, 2020 at 3:23 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > It does seem as if you can now build against the new OCaml version. I > have just rebuilt ocaml-menhir with Coq enabled. > > I didn't touch frama-c or alt-ergo. I actually tried to launch the builds last night, but they failed due to the 32-bit glibc bug discussed on the list. I've just launched them again. Thanks, Richard! -- Jerry James http://www.jamezone.org/ _______________________________________________ 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
