github.com/coq/opam-coq-archive
A function definition package for Coq
opam install coq-equations.1.2~beta+8.9