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: Oct 13 2024 at 01:02 UTC