Bump the version of Dolmen to 0.10

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

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

Other

126 stars 33 forks source link

Bump the version of Dolmen to 0.10 #1149

Closed Halbaroth closed 1 week ago

Halbaroth commented 1 month ago

The new version of Dolmen has been released yesterday! This commit updates the lock file and remove the hotfix for the issue https://github.com/OCamlPro/alt-ergo/pull/747 as the appropriate fix in included in the last release of Dolmen.

Solve the issue #748

bclement-ocp commented 4 weeks ago

Added the nix version directly on the branch. Sorry for the landmarks noise — not sure how it ended up where it is, the niv tool usually sorts names alphabetically.

bclement-ocp commented 1 week ago

Added the nix version directly on the branch.

Looks like I forgot to push :) Just did. LGTM