github.com/coq/opam-coq-archive
A library on rewriting theory and termination.
opam install coq-color.1.6.0