github.com/coq/opam-coq-archive
A basic library of basic Coq datatypes, definitions, theorems, and
opam install coq-ext-lib.0.10.0