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