BDEPEND=>=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=configure install unpack
DEPEND=dev-lang/idris2 =dev-util/idris2-lsp-lib-9999
DESCRIPTION=Language Server for Idris2
EAPI=8
HOMEPAGE=https://github.com/idris-community/idris2-lsp
KEYWORDS=~amd64
LICENSE=BSD
PROPERTIES=live
RDEPEND=dev-lang/idris2 =dev-util/idris2-lsp-lib-9999
SLOT=0
_eclasses_=git-r3	7b584b5dc33e3bc66ff5b9271bf41764
_md5_=121d7a1ff1260fab6b8f7aa546f7931b