Gentoo Packages

dev-util/idris2-lsp (Miezhiko)

Search

Package Information

Description:: Language Server for Idris2
Homepage:: https://github.com/idris-community/idris2-lsp
License:: BSD

Versions

Version	EAPI	Keywords	Slot
9999	8	~amd64	0

Metadata

No metadata available.

Lint Warnings

[Warning] Missing md5-cache for version 9999. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
[Warning] metadata.xml is missing. Create one to describe the package.

Manifest

Type	File	Size	Versions

Unmatched Entries

Type	File	Size
EBUILD	idris2-lsp-9999.ebuild	1907 bytes