app-emacs / dedukti-mode dedukti-mode Major mode for Dedukti files Major mode for Dedukti files homepage ↗ Available in OverlayNewestEbuildsLast activity melpa GitHub ↗ 20171103.1212 1 23 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 1 lines >=app-editors/emacs-26.3:*