dune icon indicating copy to clipboard operation
dune copied to clipboard

Published 20 hours ago • verified publisher icon ocaml

[CI] add Coq dev repo for more recent versions of Coq

Open Alizter opened this issue 2 years ago • 2 comments

Alizter avatar Jul 13 '22 13:07 Alizter

I'm subsuming

  • https://github.com/ocaml/dune/pull/5776

Alizter avatar Jul 14 '22 19:07 Alizter

@emillon Windows did not like opam-repositories.

Alizter avatar Jul 14 '22 20:07 Alizter