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