pkgsrc/lang/idris