%FILES%
clang64/
clang64/bin/
clang64/bin/libyices.dll
clang64/bin/yices-sat.exe
clang64/bin/yices-smt.exe
clang64/bin/yices-smt2.exe
clang64/bin/yices.exe
clang64/include/
clang64/include/yices.h
clang64/include/yices_exit_codes.h
clang64/include/yices_limits.h
clang64/include/yices_types.h
clang64/lib/
clang64/lib/libyices.a
clang64/lib/libyices.dll.a
clang64/share/
clang64/share/licenses/
clang64/share/licenses/yices/
clang64/share/licenses/yices/LICENSE
