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