Karl Palmskog (Aug 26 2020 at 15:26): Karl Palmskog (Aug 26 2020 at 15:26):Don't forget to submit opam archive packages for the latest stable tags (for Mtac2 and Unicoq) for Coq 8.12.
Michael Soegtrop (Aug 26 2020 at 15:28):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.
Karl Palmskog (Aug 26 2020 at 15:31):there is no hurry on my side, I just worried that it might not happen in the near future
Michael Soegtrop (Aug 26 2020 at 15:33):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.
Karl Palmskog (Aug 26 2020 at 15:53):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