Christian Doczkal (Aug 10 2020 at 16:22): Christian Doczkal (Aug 10 2020 at 16:22):Would you be willing to add a dev package to the extra-dev category of the opam-coq-archive? This would simplify the CI setup for projects that depend on HB and want to test against coq.dev and mathcomp.dev.
Enrico Tassi (Aug 13 2020 at 08:04):ok
Last updated: Dec 07 2023 at 17:01 UTC