Gentoo Portage Overlays - app-vim/idris2-vim

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

app-vim/idris2-vim

Vim mode for Idris 2

Screenshots

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

idris2-vim-9999

View

Download

Browse License:

Overlay: buzden

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

idris2-vim-9999

||

( >=app-editors/vim-7.3 >=app-editors/gvim-7.3 )