gentoo.mahdi.cz
dev-util
:idris2-lsp
Language Server for Idris2
https://github.com/idris-community/idris2-lsp
idris2-lsp-9999
BSD
download
~amd64
Miezhiko