github.com/coq/opam-coq-archive
Extensions of MSets for Efficient Execution
opam install coq-msets-extra.1.2.0