ports/lang/seed7/patches
