search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
131 stars 33 forks source link

WIP: macOS static binaries #1067

Closed bclement-ocp closed 6 months ago

bclement-ocp commented 6 months ago

This works -- closing. See #1045