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
.
ok
Last updated: Dec 07 2023 at 17:01 UTC