mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-22 21:43:03 -04:00
15 lines
653 B
Plaintext
15 lines
653 B
Plaintext
BDEPEND=app-emacs/prop-menu >=app-editors/emacs-26.3:*
|
|
DEFINED_PHASES=compile configure info 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
|
|
INHERIT=elisp
|
|
KEYWORDS=~amd64
|
|
LICENSE=GPL-3+
|
|
RDEPEND=app-emacs/prop-menu >=app-editors/emacs-26.3:*
|
|
RESTRICT=test
|
|
SLOT=0
|
|
SRC_URI=https://github.com/idris-hackers/idris-mode/archive/refs/tags/1.0.tar.gz -> idris-mode-1.0.tar.gz
|
|
_eclasses_=elisp-common 0ea9a0d3bc26353e1642c73560a24fdf elisp a37bfc35b86403c770beebbd71661c30
|
|
_md5_=23e40b1f6862b176dafc895fcc3b2a5c
|