Skip to content

Use the correct version of ocamlformat in nix shell#124

Merged
Nadrieril merged 1 commit intoAeneasVerif:mainfrom Nadrieril:use-correct-ocamlformatJan 3, 2025

Commits

Commits on Jan 3, 2025