github.com/coq/opam-coq-archive
A framework for computational reflection.
opam install coq-mirror-core.1.0.2