Anton Trunov (Dec 16 2020 at 19:33): 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.
Matthieu Sozeau (Dec 16 2020 at 19:33):Yep, thanks for reminding me :)
Anton Trunov (Dec 16 2020 at 19:37):Great! Looking forward to it :)
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?
Matthieu Sozeau (Dec 18 2020 at 17:51):Nope, that's fine! Thanks!
Last updated: Apr 19 2024 at 04:02 UTC