coq-shell

AuthorCoq team <coqdev@inria.fr>
LicenseLGPL-2.1
Homepagehttps://coq.inria.fr/
Issue Trackerhttps://coq.inria.fr/bugs/
Maintainercoqdev@inria.fr
PublishedNov 7, 2015
Source [http] https://github.com/coq/opam-coq-shell/archive/1.tar.gz
ba539bda77cf0081657716fa49767a68
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-shell/coq-shell.1/opam

Simplified OPAM shell for Coq

No package is dependent