# Debian patches
01_update-doc.patch
02_optimization-flags.patch
03_remove_threadpool_h.patch
04_update_soname.patch
