gentoo.mahdi.cz
app-emacs
:helm-idris
A Helm datasource for Idris documentation, queried from the compiler
https://melpa.org/packages/
helm-idris-20141202.1757
download
~amd64 ~x86
melpa