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