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