gpo.zugaina.org

Search Portage & Overlays:

dev-util/idris2-lsp-lib

Language Server for Idris2

Screenshots

Runtime Dependencies

idris2-lsp-lib-9999