pkgsrc/lang/idris2