BDEPEND=>=app-editors/emacs-25.3:* DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack DEPEND=app-emacs/prop-menu DESCRIPTION=Major mode for editing Idris code EAPI=8 HOMEPAGE=https://github.com/idris-hackers/idris-mode KEYWORDS=~amd64 ~x86 RDEPEND=app-emacs/prop-menu >=app-editors/emacs-25.3:* SLOT=0 SRC_URI=https://elpa.nongnu.org/nongnu/idris-mode-1.1.0.tar _eclasses_=elisp fbefa95f5e9ab880a34bc69832b7c0d7 elisp-common abb2dda42f680fce87602c8273f832c7 g-sorcery 692c9ad583c66d03e7c0e8b3b106a435 gs-elpa df4b672ca6bb8e009e294018c3bee8bf _md5_=888b1f69fdbc7d8e6756da0ec9136bde