%FILENAME%
python-z3-solver-4.15.4-2.1-x86_64_v4.pkg.tar.zst

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.15.4-2.1

%DESC%
High-performance theorem prover

%CSIZE%
281342

%ISIZE%
2655791

%SHA256SUM%
14ae80303ccf5555a407ac4b80e949ac1823f84b8bdfb79659aced4ed14dadf6

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmlv39IACgkQ87YHSI2zWkeqOAwAyiSUVcDmFqewAnrspmNSiFnooq0+aDWANkMEQcQdh0OCSd3UcYzrtKhFu7BU+qlDi6oBPe3NGADJsok7Zg7U9clv87IBAzzuks6GGXK1hzM4ikOQHByrkmy/SbPqVo760fS/dHaXqRT7nJhHm0t+O8SZTduh46UY4cTYyvTMqm07gOtH5jMPvhNKG6L4LaoAIKDu1mpWldmQBzpdmLOXqkYV8277iUYX9BnpEFg8R4LJPd2bo6Dk8Kkt9c3MKbFtZnlyVeuI0Hez2dDLr1sT5lp1pgZ5Gptk8GhEjctmJHqhv8AO/tUelUdIZCvz//A8WTgY8RTnwo2P5PvEneP/4KVi0dL19xmnIb9IuyYqaGWfOpsGLFJdNx6YdMydlNsmWm5hVn4XV419KB1D8fU2SUXOErANAVdUX7M044+k5XYdnAZSiVScQdN70k3CivKLeb2d8u24Dhc2kE8Qa58JrNv8WIsbT/gEXGkCL6CdPJdl50bLo35ivpPKiLJ3Ie14

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1768938826

%PACKAGER%
CachyOS <admin@cachyos.org>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
z3

%MAKEDEPENDS%
cmake
gcc-libs
git
glibc
ninja
python
python-build
python-installer
python-setuptools
python-wheel
jdk-openjdk

