search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
143 stars 31 forks source link

[dev] [opam] Bump Dune dev version to 3.13 #658

Closed ejgallego closed 5 months ago

ejgallego commented 5 months ago

Versions < 3.13 were broken for composed builds with Coq in scope.

Dune bug was fixed in https://github.com/ocaml/dune/pull/9347