github.com/coq/opam-coq-archive
A quoting and unquoting library for Coq in Coq
opam install coq-metacoq-template.1.0~beta1+8.12