Release 1.3beta of Equations is available, as source and through opam package coq-equations.1.3~beta+8.13, for Coq 8.13. See the release notes and updated reference manual for details.

– Matthieu Sozeau