Stream: Mtac2

Topic: Opam archive packages for 8.12


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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