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: Apr 20 2024 at 00:02 UTC