Idris2Doc : ncurses-idris

Package ncurses-idris - Namespaces