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