/debian/patches/

• ../
• 0001-xsd_xsdcxx-rename.patch
• series