Open xmoezzz opened 1 year ago
The official version of dune upstream has been updated to 3.7.1, while the version in the repository is still 3.5 https://github.com/ocaml/dune/releases/tag/3.7.1
The official version of dune upstream has been updated to 3.7.1, while the version in the repository is still 3.5 https://github.com/ocaml/dune/releases/tag/3.7.1