github.com/coq/opam-coq-archive
A quoting and unquoting library for Coq in Coq
opam install coq-template-coq.2.1~beta3