alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

Static binary build for 2.4.x branch

Open bclement-ocp opened this issue 3 months ago • 0 comments

This is a backport of https://github.com/OCamlPro/alt-ergo/pull/1045 to the 2.4.x branch so that we can provide static builds for the release 2.4.3 as requested by our partners in the Decysif project.

bclement-ocp avatar Mar 27 '24 10:03 bclement-ocp