github.com/coq/opam-coq-archive
Utility functions for implementing Coq plugins, e.g. building natural
opam install coq-plugin-utils.1.3.0