# Debian patches
03_update-doc.patch
04_optimization-flags.patch
