github.com/coq/opam-coq-archive
std++ is an extended "Standard Library" for Coq
opam install coq-stdpp.1.4.0