%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%
281386

%ISIZE%
2655791

%SHA256SUM%
80df5ae3d6557da7131cea4ab2ebddc163f4a70c8d19167746c583d2a2a71afd

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmlv+zMACgkQ87YHSI2zWkcJWAv6A57xPilrxrouBMZ+OiOjsN84x2uRsfWuT6a1QnWv+hXXXpXNbB7U23y3O/dnPTm2ZP0NPD5E3jWqHwsUOCHTZnJyNeIPyoMDBmmnKhKEtzXskuL0dVa+0Y+9qeviOQfio7DnW3sF5EfQA1IUakQwb98ZdztKoiAyLveCYXnfCplMIz+pePn+a3/vahT4xGpMAbgznJwv5wjFlCi/lvcdTuXtxymzrESkqxJbVAqowZIiO/MSxC7g69DU6wu7pJ8MTXuVSovv6Ibr6oWNzppoiPIsXS0u25IC4vxDCe7byOW5nIblGxMAz3A3AHCoMJ0EVib17r/u/WiBOeSDDxGp4oDYpxg+/8zYi67eBliFgjOJP4I+XAChOYswJv97qTKaIvGsgCKOWfEPAecHOy1mqZ8kQ/VP1mYqsipehcYQb6yp5dqrOhzPZ+tkOL2qpC9MzOf3iVVIqe39Hw6ZKQQYjXSJ8n4Ba5mQtOIpOS0KMuBfvYuNd3Td+FNz58S9/KRu

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1768945982

%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

