The repository for Coq 8.5 packages. Powered by OPAM.
Enable this repository:
opam repo add coq-stable https://github.com/coq/repo-8.5.git
To install Coq 8.5 beta 1:
opam install coq.8.5beta1
To install a package:
opam search coq:that-package
opam install coq:that-package
If you want to add your package, please do a pull-request to this repository.