app-emacs / flycheck-dedukti flycheck-dedukti Flycheck integration of Dedukti Flycheck integration of Dedukti homepage ↗ Available in OverlayNewestEbuildsLast activity melpa GitHub ↗ 20171103.1212 1 24 h details › Versions & arches VersionOverlay amd64x86 Committed 20171103.1212 melpa ◐amd64 testing ◐x86 testing 24 mo view · download · history ↗ Runtime dependencies of 20171103.1212 show 3 lines app-emacs/flycheck app-emacs/dedukti-mode >=app-editors/emacs-26.3:*