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	875eb471682d3e1f18da124be97dcc81
_md5_=865158a6605451337718355defef8f48