Release 1.2.2 of Equations is available, as source and
through opam packages coq-equations.1.2.2+8.11, coq-equations.1.2.2+8.12
for Coq 8.11 and Coq 8.12. This is a bugfix release and the first version available
for Coq 8.12. See the release notes for details.
– Matthieu Sozeau