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: May 28 2023 at 18:29 UTC