Closed rgrinberg closed 2 years ago
Currently, buildDuneProject insists on dune 2. Dune 3 is the latest version and should be used by default.
buildDuneProject
Good point, thanks.
Closed via a479ca027e9b28f595e4ed08f06c8ee56b96588a
Currently,
buildDuneProject
insists on dune 2. Dune 3 is the latest version and should be used by default.