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 extra-dev
?
Nope, that's fine! Thanks!
Last updated: Oct 13 2024 at 01:02 UTC