Stream: Coq devs & plugin devs

Topic: Tag of Mtac2


view this post on Zulip Karl Palmskog (Apr 24 2024 at 08:31):

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.

view this post on Zulip Janno (Apr 24 2024 at 08:32):

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.

view this post on Zulip Janno (Apr 24 2024 at 09:01):

Done: https://github.com/Mtac2/Mtac2/issues/400#issuecomment-2074450722


Last updated: Oct 13 2024 at 01:02 UTC