gentoo.mahdi.cz
app-emacs
:redtt
Major mode for editing redtt proofs
http://github.com/RedPRL/redtt
redtt-20181121.21
download
~amd64 ~x86
melpa