gentoo.mahdi.cz

  

dev-util:idris2-lsp-lib


Language Server for Idris2
https://github.com/idris-community/idris2-lsp

idris2-lsp-lib-9999BSD
download~amd64Miezhiko