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