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