Gentoo Portage Overlays - dev-util/idris2-lsp-lib

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-util/idris2-lsp-lib

Language Server for Idris2

Screenshots

https://github.com/idris-community/idris2-lsp

idris2-lsp-lib-9999

~amd64

View

Download

Browse License: BSD

Overlay: Miezhiko

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

idris2-lsp-lib-9999

dev-lang/idris2