%FILES%
usr/
usr/i686-w64-mingw32/
usr/i686-w64-mingw32/bin/
usr/i686-w64-mingw32/bin/libz3.dll
usr/i686-w64-mingw32/include/
usr/i686-w64-mingw32/include/z3++.h
usr/i686-w64-mingw32/include/z3.h
usr/i686-w64-mingw32/include/z3_algebraic.h
usr/i686-w64-mingw32/include/z3_api.h
usr/i686-w64-mingw32/include/z3_ast_containers.h
usr/i686-w64-mingw32/include/z3_fixedpoint.h
usr/i686-w64-mingw32/include/z3_fpa.h
usr/i686-w64-mingw32/include/z3_macros.h
usr/i686-w64-mingw32/include/z3_optimization.h
usr/i686-w64-mingw32/include/z3_polynomial.h
usr/i686-w64-mingw32/include/z3_rcf.h
usr/i686-w64-mingw32/include/z3_spacer.h
usr/i686-w64-mingw32/include/z3_v1.h
usr/i686-w64-mingw32/include/z3_version.h
usr/i686-w64-mingw32/lib/
usr/i686-w64-mingw32/lib/cmake/
usr/i686-w64-mingw32/lib/cmake/z3/
usr/i686-w64-mingw32/lib/cmake/z3/Z3Config.cmake
usr/i686-w64-mingw32/lib/cmake/z3/Z3ConfigVersion.cmake
usr/i686-w64-mingw32/lib/cmake/z3/Z3Targets-release.cmake
usr/i686-w64-mingw32/lib/cmake/z3/Z3Targets.cmake
usr/i686-w64-mingw32/lib/libz3.dll.a
usr/i686-w64-mingw32/lib/pkgconfig/
usr/i686-w64-mingw32/lib/pkgconfig/z3.pc
usr/x86_64-w64-mingw32/
usr/x86_64-w64-mingw32/bin/
usr/x86_64-w64-mingw32/bin/libz3.dll
usr/x86_64-w64-mingw32/include/
usr/x86_64-w64-mingw32/include/z3++.h
usr/x86_64-w64-mingw32/include/z3.h
usr/x86_64-w64-mingw32/include/z3_algebraic.h
usr/x86_64-w64-mingw32/include/z3_api.h
usr/x86_64-w64-mingw32/include/z3_ast_containers.h
usr/x86_64-w64-mingw32/include/z3_fixedpoint.h
usr/x86_64-w64-mingw32/include/z3_fpa.h
usr/x86_64-w64-mingw32/include/z3_macros.h
usr/x86_64-w64-mingw32/include/z3_optimization.h
usr/x86_64-w64-mingw32/include/z3_polynomial.h
usr/x86_64-w64-mingw32/include/z3_rcf.h
usr/x86_64-w64-mingw32/include/z3_spacer.h
usr/x86_64-w64-mingw32/include/z3_v1.h
usr/x86_64-w64-mingw32/include/z3_version.h
usr/x86_64-w64-mingw32/lib/
usr/x86_64-w64-mingw32/lib/cmake/
usr/x86_64-w64-mingw32/lib/cmake/z3/
usr/x86_64-w64-mingw32/lib/cmake/z3/Z3Config.cmake
usr/x86_64-w64-mingw32/lib/cmake/z3/Z3ConfigVersion.cmake
usr/x86_64-w64-mingw32/lib/cmake/z3/Z3Targets-release.cmake
usr/x86_64-w64-mingw32/lib/cmake/z3/Z3Targets.cmake
usr/x86_64-w64-mingw32/lib/libz3.dll.a
usr/x86_64-w64-mingw32/lib/pkgconfig/
usr/x86_64-w64-mingw32/lib/pkgconfig/z3.pc
