Gentoo Packages

Search

Install

Install this package:

emerge -a app-vim/idris2-vim

Package Information

Description:

Vim mode for Idris 2

Homepage:

https://github.com/edwinb/idris2-vim/

Versions

Metadata

No metadata available.

Lint Warnings

• [Warning] Ebuild 9999 is missing the SLOT variable.
• [Error] Missing md5-cache for ebuild idris2-vim-9999
• [Error] Invalid or missing metadata.xml: open app-vim/idris2-vim/metadata.xml: file does not exist

Manifest