coq-shell

Simplified OPAM shell for Coq