setup.patch
use_debian_packaged_guppy_from_pplacer.patch
change_java_version_for_ant.patch
json_collections.patch
java_build.patch
configuration_files_in_etc_and_per_user.patch
looking_for_integer_in_placements.patch
deactivating_log_test.patch
make_split_sequences_script.patch
using_python3_interpreter.patch
