Coq OPAMcoq-plugin-utils
Utility functions for implementing Coq plugins, e.g. building natural
opam install coq-plugin-utils.1.3.0
- homepage
- https://github.com/gmalecha/coq-plugin-utils
- license
- MIT
- bugs tracker
- https://github.com/gmalecha/coq-plugin-utils/issues
- dependencies
- "ocaml" "coq" {>= "8.6" & < "8.7~"}
- source
- https://github.com/gmalecha/coq-plugin-utils/archive/v1.3.0.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-plugin-utils/coq-plugin-utils.1.3.0