github.com/coq/opam-coq-archive
A library of Coq definitions, theorems, and tactics
opam install coq-ext-lib.0.11.2