The final package we need for the Coq Platform is a tag for Coq 8.19 of MTac2: https://github.com/Mtac2/Mtac2/tags
Several people (including quite a few Coq devs) appear to have privileges to do this (@Janno?)
If the tag is set, I can do the opam package quickly.
I'll get on it right away. I started yesterday but I couldn't get CI to work because unicoq does not have an opam package yet. I'll just test the commit locally and fix CI later.
Done: https://github.com/Mtac2/Mtac2/issues/400#issuecomment-2074450722
Last updated: Oct 13 2024 at 01:02 UTC