/z3-*.tar.gz
/Z3-*.tar.gz
/Z3_cmake_files.tar.gz