gentoo.mahdi.cz
app-emacs
:flycheck-dedukti
Flycheck integration of Dedukti
https://github.com/rafoo/flycheck-dedukti
flycheck-dedukti-20171103.1212
download
~amd64 ~x86
melpa