Don't forget to submit opam archive packages for the latest stable tags (for Mtac2 and Unicoq) for Coq 8.12.
I am currently running tests and will publish them for 8.11.2 and 8.12.0 as soon as testing is finished. Actually I did finish testing for 8.12.0 already, but not yet for 8.11.2, so I could make a PR for 8.12.0 immediately.
there is no hurry on my side, I just worried that it might not happen in the near future
I meanwhile always first test in the platform patch repo and publish as soon as I am happy. The plan is to have everything merged upstream before the final release.
also, the opam package in the Mtac2 repo itself clearly needs work (it's for opam 1.2): https://github.com/Mtac2/Mtac2/blob/master/opam - probably the platform opam package can be adapted for this
Last updated: Feb 06 2023 at 06:29 UTC