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