Coq OPAMcoq-generic-environments
Generic Environments is a library that provides an abstract data type for environments
opam install coq-generic-environments.8.11.0
- homepage
- https://github.com/coq-community/generic-environments
- license
- MIT
- bugs tracker
- https://github.com/coq-community/generic-environments/issues
- dependencies
- "coq" {>= "8.4" & < "8.13~"}
- source
- https://github.com/coq-community/generic-environments/archive/v8.11.0.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-generic-environments/coq-generic-environments.8.11.0