%FILENAME%
z3-4.16.0-1.1-x86_64_v4.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-1.1

%DESC%
High-performance theorem prover

%CSIZE%
10250097

%ISIZE%
40101399

%SHA256SUM%
432826d8e97aa582df9d700eab9be989dad0cce707fb7a634d440541d4919f0b

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmnKqOcACgkQ87YHSI2zWkd3NQv/WlzH/4P4uDpeyTbKyJfVC6P2gkUDQb318xdMJ0lAk4kfcZLx5uP3+PdvB/LgmjI70nlU+U6UMBAt0SAI6KuU8sHdthYZgroi8wrA8xqWH0CsbJGjlG7VRsVGyY2t1vVay1coiAXBZ7tWfsWLp6MNtk9GpyvOTOJ6OZndGsMlgS9u/29Lcmp21RRaUQbPzAmjRQRNnoXke4Xk9SQBM/hiWrunu+p+ZbTFS6xNSMruuzs4kcWc36am6t+gkBI2WC92nXmH0f8carCCoud/U6zoetooNl5tHj4JhiqgyUrvuEfUUWKlpnW1Gaw1tyak5wo+qL2iG22rVJIPgX0U5mD2NS+8Kr+XjKs2XETB1xL0LmL8JapIXSFRzb12Ri6LBeoTn8NDKWIzXFf4MarA0QXRtdSvvKJYvZnDlAg+/WPyVTOusKD+l5dcWWIemkPbMvqe3aI7jcqIWciTT5cQdwDONs/O4zN3HLJzj36WASRMr8Scjz373bp1y+LYQis5Mcyv

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1774888553

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
libz3
libz3.so=4.16-64

%DEPENDS%
libgcc
libstdc++
glibc

%MAKEDEPENDS%
cmake
git
glibc
jdk-openjdk
libgcc
libstdc++
ninja
python
python-build
python-installer
python-setuptools
python-wheel

