melpa/recipes/flycheck-dedukti
2014-09-29 17:00:56 +02:00

1 line
66 B
Text

(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")