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.
Yep, thanks for reminding me :)
Great! Looking forward to it :)
@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
Nope, that's fine! Thanks!
Last updated: Jan 29 2023 at 16:02 UTC