github.com/coq/opam-coq-archive
A function definition package for Coq
opam install coq-equations.1.1+8.8