Stream: Equations devs & users

Topic: New release for Coq 8.13


view this post on Zulip Anton Trunov (Dec 16 2020 at 19:33):

Hi @Matthieu Sozeau, are there any plans to release coq-equations package on opam with support for Coq 8.13? I've noticed there is the corresponding tag on GitHub already.

view this post on Zulip Matthieu Sozeau (Dec 16 2020 at 19:33):

Yep, thanks for reminding me :)

view this post on Zulip Anton Trunov (Dec 16 2020 at 19:37):

Great! Looking forward to it :)

view this post on Zulip Karl Palmskog (Dec 18 2020 at 16:28):

@Matthieu Sozeau I'm updating some old projects that use Equations for 8.13. The current approach in the opam repo is to put packages that only work with a non-released Coq version in extra-dev, and then move them to released at the Coq release time. Do you mind if generate the package for https://github.com/mattam82/Coq-Equations/releases/tag/v1.2.3-8.13 and put it in extra-dev?

view this post on Zulip Matthieu Sozeau (Dec 18 2020 at 17:51):

Nope, that's fine! Thanks!


Last updated: Jan 29 2023 at 16:02 UTC