gpo.zugaina.org

Search Portage & Overlays:

app-vim/idris2-vim

Vim mode for Idris 2

Screenshots

USE Flags