coq-shell

Simplified OPAM shell for Coq
Description
Install
Maintainers
Sources
1.tar.gz
md5=ba539bda77cf0081657716fa49767a68
Dependencies
Reverse Dependencies