coq-shellversion

Simplified OPAM shell for Coq

AuthorCoq team <coqdev@inria.fr>
LicenseLGPL-2.1
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
md5=ba539bda77cf0081657716fa49767a68
StatisticsInstalled 19 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-shell/coq-shell.1/opam
No package is dependent