coq-shellversion

Simplified OPAM shell for Coq

AuthorCoq team <coqdev@inria.fr>
LicenseLGPL-2.1-only
Published
Homepagehttps://coq.inria.fr/
Issue Trackerhttps://coq.inria.fr/bugs/
Maintainercoqdev@inria.fr
Dependencies
Source [http] https://github.com/coq/opam-coq-shell/archive/1.tar.gz
sha256=269ff5b2e2bc95ec3a3ee9a108f23fcf1754329ad2d29dc844ec337eabe44a6d
md5=ba539bda77cf0081657716fa49767a68
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-shell/coq-shell.1/opam
No package is dependent