gentoo.mahdi.cz
app-emacs
:coq-commenter
Coq commenting minor mode for proof
http://github.com/ailrun/coq-commenter
coq-commenter-20170822.2309
download
~amd64 ~x86
melpa