app-emacs / coq-commenter coq-commenter Coq commenting minor mode for proof Coq commenting minor mode for proof homepage ↗ Available in OverlayNewestEbuildsLast activity melpa GitHub ↗ 20170822.2309 1 20 h details › Versions & arches VersionOverlay amd64x86 Committed 20170822.2309 melpa ◐amd64 testing ◐x86 testing 5 mo view · download · history ↗ Runtime dependencies of 20170822.2309 show 3 lines app-emacs/dash app-emacs/s >=app-editors/emacs-26.3:*