github.com/coq/opam-coq-archive
CoqEAL - The Coq Effective Algebra Library
opam install coq-coqeal.1.0.4