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	fbb2889c81f3a05910c1524db69425c1
_md5_=78d53cdc746bb911ff8f1fd3511c0c2a