Opam: undo upstream PR https://github.com/ocaml/opam-repository/pull/25484

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

Opam: undo upstream PR https://github.com/ocaml/opam-repository/pull/25484 #406

Closed MSoegtropIMC closed 8 months ago

MSoegtropIMC commented 8 months ago

This undoes the PR in the main opam repo which states that dune.3.7.0 (which is used by the Coq 8.17 pick) is not compatible with Windows (which is not factual).

MSoegtropIMC commented 8 months ago

This has already been fixed in opam upstream, so I will close this without merging. Still the CI run was interesting - it showed that this was the issue.