search

OCamlPro / alt-ergo

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

feat(nix): Add nix support in the 2.5.x branch #1121

Closed bclement-ocp closed 2 months ago

bclement-ocp commented 2 months ago

With the right Dolmen version.