github.com/coq/opam-coq-archive
Auxiliary Coq library for Ott, a tool for writing definitions of programming languages and calculi
opam install coq-ott.0.30