Link to build instructions from README leads to nowhere

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Closed barracuda156 closed 1 month ago

barracuda156 commented 1 month ago

404 File not found

bclement-ocp commented 1 month ago

Thanks for your interest in Alt-Ergo — README links were forgotten when we switched to versioned documentation recently. The correct link for the latest release is now here: https://ocamlpro.github.io/alt-ergo/latest/Install/index.html