Release 1.3.1 of Equations is available, as source and through opam packages for Coq 8.20. See the release notes and updated reference manual for details.

– Matthieu Sozeau