coq-shell

Author Coq team <coqdev@inria.fr>
License LGPL-2.1
Homepage https://coq.inria.fr/
Issue Tracker https://coq.inria.fr/bugs/
Maintainer coqdev@inria.fr
Published Nov 7, 2015
Source [http] http://github.com/coq/opam-coq-shell/archive/1.tar.gz
ba539bda77cf0081657716fa49767a68
Statistics Installed 6 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/coq-shell/coq-shell.1/opam

Simplified OPAM shell for Coq

No package is dependent