github.com/coq/opam-coq-archive
The theory needed by the refinement framework library
opam install coq-coqeal-theory.0.9.1