%FILENAME%
z3-4.15.4-2.1-x86_64_v3.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.15.4-2.1

%DESC%
High-performance theorem prover

%CSIZE%
10202710

%ISIZE%
39688452

%SHA256SUM%
d9052e77f10cca3e55e2fba650b8430c69fba8b135fd9cff9a2fbe248641aae6

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmlv+zQACgkQ87YHSI2zWkdy6wwAo+1lU35RZtHHwXYRk4U0HR0CquV5sJtjB6TtSt5fwOqg3PyatNNllLA6f+ivnJcy5qwzT4m0bn01DPCXbw8zjDUo0d+Gn1L+WdfPepbczlralTWzi6xVH4M/UU0efIPsUmy6TwLc32Cg3D/VZ2XxUVc1MJxiQhtleag9aSJF22giO1Vi0VHmAGdUYHWhUITDfiv0I/gbPZI40T+jou9p1Z9cpuKZdllQGsapii2VpqidPCwnbYSk5CiQH7eL3R0iAmEZEmjkuK6MYWx4IA3RfGTVMIvI/HLOJyeO+yT4+KarHODJAhjS+GaiNXdVnmDbFLgqqlToQiJipPq2QuLHH8YLrstLE2SdbAJXpas//3E1IMMcT5B+KFU4Lg+OgLR0STzSeDgC9F9SRH6KgOHbsDPo34TWcAwNVrhekJnD2utkNLrtbJ3fC8E0WkkhD+eNslOEYw3jZ/NkfEEARjCy709Flsm3IT3xUGkgMQyUxlegxORyghbf3NJE0ASXcwHz

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

%LICENSE%
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1768945983

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
libz3
libz3.so=4.15-64

%DEPENDS%
gcc-libs
glibc

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

