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

%NAME%
z3-java

%BASE%
z3

%VERSION%
4.16.0-1.1

%DESC%
High-performance theorem prover

%CSIZE%
228619

%ISIZE%
422142

%SHA256SUM%
d9698c06c39248c67dc150978c54d1fc49c14ae486150ea5dd1e08a598f592a1

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmnKp5wACgkQ87YHSI2zWkd7iwwAhyXVcr4z7S6VymPqUFuJ/pYJ6SlqbwcuOwMjwQZIVQFZ/jT7NPxsMWbtZIOVQw6vWrTKguWEDA40wd9+tMLRbnu+Nz1YxK0W3YnNNRI+XV2REY1l1E9/NYa6PLaYYi+X0fFfQpq2WOsapy2I9TwrOdK6OAaT5UtSdky2R5mvYiiW1KhFkd315qUxwyQrPuNwCQV6XbuQon/sGx7IUJg08MqJlVG4fomVy6J9jAtJ6qu6riCi9bHBhmCByJsOFP+Zpph8SyjsuFkJBXQ2i5NXi8FSukuWvbvXjGR7af8Ft8xUm97woB0XC4dxXIwihThQQFX/rnia4e8hgKpZpe2pHKg5f24tWFUYWbCzm8fXvdYOSybyk8J/g83wC5a0E+vVksjWHyhBxtDAvU+93tKcDCsy30UdVzIRvOyyX+2NTuUoICWGCp/0KPRkE1+804QGpoTb9U8GpWwetW62VPUSNmUfYvkKQXeTGz0DjuuJuTqIX90EfZAiPhArjHl6U+My

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

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1774888315

%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

