coq-shellversion
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