BDEPEND=app-emacs/prop-menu >=app-editors/emacs-25.3:* >=dev-vcs/git-1.8.2.1[curl] DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack DESCRIPTION=Idris syntax highlighting, compiler-supported editing, and interactive REPL EAPI=7 HOMEPAGE=https://github.com/idris-hackers/idris-mode LICENSE=GPL-3+ PROPERTIES=live RDEPEND=app-emacs/prop-menu >=app-editors/emacs-25.3:* RESTRICT=test SLOT=0 _eclasses_=elisp fbefa95f5e9ab880a34bc69832b7c0d7 elisp-common abb2dda42f680fce87602c8273f832c7 git-r3 fbb2889c81f3a05910c1524db69425c1 _md5_=23e40b1f6862b176dafc895fcc3b2a5c