github.com/coq/opam-coq-archive
A meta-programming framework for Coq
opam install coq-metacoq.1.0~beta1+8.12