BDEPEND=>=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=compile configure install unpack
DEPEND=dev-lang/idris2
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
SLOT=0
_eclasses_=git-r3	fbb2889c81f3a05910c1524db69425c1
_md5_=865158a6605451337718355defef8f48