;; Generated package description from idris-mode.el  -*- no-byte-compile: t; lexical-binding:t -*-
(define-package "idris-mode" "1.1.0.0.20260506.103041" "Major mode for editing Idris code" '((emacs "24") (prop-menu "0.1") (cl-lib "0.5")) :commit "7211af2fc8a6739a81de1f8e37082f914718ecbf" :keywords '("languages") :url "https://github.com/idris-hackers/idris-mode")
