coq-shellversion Documentation on ocaml.org
Simplified OPAM shell for Coq
| Author | Coq team <coqdev@inria.fr> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://coq.inria.fr/ |
| Issue Tracker | https://coq.inria.fr/bugs/ |
| Maintainer | coqdev@inria.fr |
| Dependencies | |
| Source [http] | https://github.com/coq/opam-coq-shell/archive/1.tar.gz sha256=269ff5b2e2bc95ec3a3ee9a108f23fcf1754329ad2d29dc844ec337eabe44a6d md5=ba539bda77cf0081657716fa49767a68 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-shell/coq-shell.1/opam |
No package is dependent
