Release 1.2.4 of Equations is available, as source and through opam packages coq-equations.1.2.4+8.13, coq-equations.1.2.4+8.12 and coq-equations.1.2.4+8.11 for Coq 8.11-8.13. See the release notes for details.

– Matthieu Sozeau