gpo.zugaina.org

Search Portage & Overlays:

app-emacs/dedukti-mode

Major mode for Dedukti files

Screenshots

  • dedukti-mode-20171103.1212
    ~amd64 ~x86

    View      Download      Browse     License:   
    Overlay: melpa

Runtime Dependencies

dedukti-mode-20171103.1212