search

OCamlPro / alt-ergo

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

Static binary build for 2.5.x branch #1079

Closed bclement-ocp closed 5 months ago

bclement-ocp commented 5 months ago

This is a backport of #1045 to the 2.5.x branch so that we can provide static builds for the release 2.5.3.