gentoo.mahdi.cz
app-emacs
:dedukti-mode
Major mode for Dedukti files
https://github.com/rafoo/dedukti-mode
dedukti-mode-20171103.1212
download
~amd64 ~x86
melpa