Gentoo Packages

Category: app-vim

• idris2-vim - Ebuilds: 1, Testing: 9999
  Homepage: https://github.com/edwinb/idris2-vim/