coq-shell

Simplified OPAM shell for Coq
IN THIS PACKAGE
Empty package map