github.com/coq/opam-coq-archive
A general-purpose alternative to Coq's standard library
opam install coq-tlc.20171206