- Base Package:
- mingw-w64-z3
- Repo:
- mingw32
- Installation:
pacman -S mingw-w64-i686-z3- Version:
- 4.8.7-1
- File:
- http://repo.msys2.org/mingw/i686/mingw-w64-i686-z3-4.8.7-1-any.pkg.tar.xz
- MD5:
591c30f9fd3017231951618725dfe48b- SHA256:
ba399a8a957668d8b611b278d005bf46f5142f98cce27d591edbb3eb9f77e724- Build Date:
- 2019-12-08 18:12:04
- Package Size:
- 21.96 MB
- Installed Size:
- 95.14 MB
- Dependencies:
-
-
- Optional Dependencies:
-
-
- Build Dependencies:
-
- Check Dependencies:
-
-
- Required By:
-
- Provides:
-
-
- Conflicts:
-
-
- Replaces:
-
-
- Files:
-
/mingw32/bin/libz3.dll/mingw32/bin/z3.exe/mingw32/include/z3++.h/mingw32/include/z3.h/mingw32/include/z3_algebraic.h/mingw32/include/z3_api.h/mingw32/include/z3_ast_containers.h/mingw32/include/z3_fixedpoint.h/mingw32/include/z3_fpa.h/mingw32/include/z3_macros.h/mingw32/include/z3_optimization.h/mingw32/include/z3_polynomial.h/mingw32/include/z3_rcf.h/mingw32/include/z3_spacer.h/mingw32/include/z3_v1.h/mingw32/include/z3_version.h/mingw32/lib/cmake/z3/Z3Config.cmake/mingw32/lib/cmake/z3/Z3ConfigVersion.cmake/mingw32/lib/cmake/z3/Z3Targets-release.cmake/mingw32/lib/cmake/z3/Z3Targets.cmake/mingw32/lib/libz3.a/mingw32/lib/libz3.dll.a/mingw32/share/licenses/z3/LICENSE.txt
Last Update: 2020-03-30 16:18:36