github.com/coq/opam-coq-archive
Generic Environments is a library that provides an abstract data type for environments
opam install coq-generic-environments.8.11.0