# debian fixes
no_lib64_on_64_bits.patch
no_INSTALL_file.patch
fix_export.patch
stop-setting-march-on-arm.patch
fix_parallel_bison.patch
