kdeedu/debian/patches
