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

%NAME%
mingw-w64-z3

%BASE%
mingw-w64-z3

%VERSION%
4.15.1-1

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

%CSIZE%
23661678

%ISIZE%
136641885

%SHA256SUM%
a5d6d5d75743f2c6fd456ef7db86869ae4c6ae67a003df6f5bfbcb307b388fdc

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1750167903

%PACKAGER%
Martchus <martchus@gmx.net>

%DEPENDS%
mingw-w64-gmp

%MAKEDEPENDS%
mingw-w64-cmake
python

