typo.patch
fix_ftbfs_m4ri_cflags_substitution.patch
fix_brial_pc_m4ri_cflags.patch
fix_c++20_compilation.patch
