milkypostman/melpa — pull request #2048 by rafoo (2014-09-29 15:10:03+00:00)
Title: Add flycheck-dedukti

Hello,

I have taken apart from dedukti-mode the part dealing with Flycheck integration so that the user can use the rest of dedukti-mode without having to use Flycheck.

This package defines a flycheck checker for the Dedukti language. I'm its author.

I have installed it with sandboxing and it works well.

Regards,

--
rafoo