coq-shell

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