gentoo.mahdi.cz
app-emacs
:alectryon
Toggle between Coq and reStructuredText
https://github.com/cpitclaudel/alectryon
alectryon-20220925.2236
download
~amd64 ~x86
melpa
alectryon-1.4.0
download
~amd64 ~x86
melpa-stable