1 Search Results
coq-shell
Simplified OPAM shell for Coq
Coq team <coqdev@inria.fr>
1
LGPL-2.1-only
Used by 0 other packages