github.com/coq/opam-coq-archive
Containers: a typeclass-based library of finite sets/maps
opam install coq-containers.8.5.0