Gentoo Packages

Search

Install

Install this package:

emerge -a dev-util/idris2-lsp-lib

Package Information

Description:

Language Server for Idris2

Homepage:

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

License:

BSD

Versions

Metadata

No metadata available.

Lint Warnings

• [Error] Missing md5-cache for ebuild idris2-lsp-lib-9999
• [Error] Invalid or missing metadata.xml: open dev-util/idris2-lsp-lib/metadata.xml: file does not exist

Manifest