did HB remove the coq-master branch? My opam .dev package suddenly failed.
coq-master
.dev
ah, this was done in https://github.com/coq/opam/pull/2849
Karl Palmskog has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC