%FILENAME%
mingw-w64-z3-4.15.1-1.1-any.pkg.tar.zst

%NAME%
mingw-w64-z3

%BASE%
mingw-w64-z3

%VERSION%
4.15.1-1.1

%DESC%
High-performance theorem prover (mingw-w64)

%CSIZE%
24103356

%ISIZE%
137705733

%SHA256SUM%
b22811dfc55f26dfbc22464e36cfa8c64cc932b5144b74f314ecf57eb483e1f8

%URL%
https://github.com/Z3Prover/z3

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1788545409

%PACKAGER%
Martchus <martchus@gmx.net>

%DEPENDS%
mingw-w64-gmp

%MAKEDEPENDS%
mingw-w64-cmake
python

