github.com/coq/opam-coq-archive
Maps indexed by binary integers : IntMap
opam install coq-int-map.8.7.0