%FILENAME%
z3-java-4.16.0-1.1-x86_64_v3.pkg.tar.zst

%NAME%
z3-java

%BASE%
z3

%VERSION%
4.16.0-1.1

%DESC%
High-performance theorem prover

%CSIZE%
228438

%ISIZE%
426238

%SHA256SUM%
8c75f38c88580a2e8d569b782071a5b08686098c0d712460759bb13a7fcbb42f

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmnKqOQACgkQ87YHSI2zWkcQJwwAoCAJLvyq3LkvdilkGy5Txn2BkKwUzZG2aBIKHGIMpfw3mEwhPvnDLBcpEeTM69cMrTcPXqzaJI3Ey+gmJcLk2dxmeW+Ef3NP+/3JoXIIy/TL2h+GCsuX3cQZ6fiM7Vyo1I4CNbWWsW8bggoC24UPXCL2CRun0su+d8srCWRrk1wv5WQQ2rV8kBpmtFrLpJM2qgu9ets26vcwK//E769/yUMnzhnW5gt2/4XX2tv6KnDboN3RkXgipWoqyE/DJh9fNqvHkn2sjccvpPQa4Nzu+bQI6GVwLl/Dm/1+6EKZxZCJdDJenlCIXQboHiZIw1wfRLWvJttJ7Zg4RdMMBUZsaNVYbaz/6vKY/Gx3cX+2RzRmI+5qzEvR6DhpkQv9jw1rz5MyRQUdU0ddmpFBixlUUxOsBoo/kpxroPJP4Ne+kx0/NJGPxvn3TVVr2+LYKd25HTGA1V8CqUlL31015zsjJC7YOq2Syks0OEqakYzpisBvHdua2B/aALoNqwwxp+ak

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

%LICENSE%
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1774888552

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc
java-runtime
libgcc
libstdc++
z3

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

