Gentoo Packages

Search

Install

Install this package:

emerge -a dev-util/idris2-lsp

Package Information

Description:

Language Server for Idris2

Homepage:

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

License:

BSD

Versions

Metadata

No metadata available.

Lint Warnings

• [Warning] Ebuild 9999 uses a non-wildcard '=' dependency without an explicit revision in DEPEND: =dev-util/idris2-lsp-lib-9999 (PG0002).
• [Warning] Ebuild 9999 uses a non-wildcard '=' dependency without an explicit revision in RDEPEND: =dev-util/idris2-lsp-lib-9999 (PG0002).
• [Warning] Ebuild 9999 has a tab character outside of indentation on line 47.
• [Warning] Ebuild 9999 has a tab character outside of indentation on line 49.
• [Warning] Ebuild 9999 has a line exceeding 80 positions on line 83.
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Error] Invalid or missing metadata.xml: open dev-util/idris2-lsp/metadata.xml: file does not exist

Manifest