pkgsrc/lang/idris/patches