use_debian_packaged_gatb-core.patch
no_install_to_wrong_dir.patch
path_to_readme_file_names.patch
spelling.patch
#fix_scripts.patch
adapt_test_scripts.patch
2to3.patch
shell_syntax.patch
python3.12-syntax.patch
