%FILENAME%
z3-java-4.16.0-1-x86_64.pkg.tar.zst

%NAME%
z3-java

%BASE%
z3

%VERSION%
4.16.0-1

%DESC%
High-performance theorem prover

%CSIZE%
227869

%ISIZE%
422142

%SHA256SUM%
30afa59949226b89e48fe20aa39b2cb480e487bc87fd20310314cc37a21cfb6c

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn38QACgkQrx0hme8KPM+uew//bNHdd11eHSQ2OkVo5kuWRId5WdeyneGA265JaSPWfLM2Ofn2zUpNkG0WCODHXa9Mukk9CGf288H46h7VTK2+Z0Aw68SAjdUeso3tUuvk+6Os2LdSEfvvxoQxz51D+m+kaqKTfi8Mad56JmkLnV1K5tphv5wOb093c/JHbvf9eQzyx+2Be4ZwKh720k1O7A4dNJondpPZKWwSHvsGzeyBObcvGwk/Y+UjzB8TScdw5fYxTAPdyjUo9MUpIhB7lztLtTGedckKZWG8RDMpZq4UeZhgChGbF2k9pxIHxyLfVh04FcpvyXCmcZraxeD9DPOSbPJC8AUu+d3HDIfxLNHSCLV7DmTycPbVycQnXltyloeQT/0Wj374lxsYDNVhdaKGLM3ZuJWa8M5fbPm7k51twkEKbONMyuTYSljDtwSP72XS2eid60+cRS8H/8nSDave4aqCyI4EzWl6L39P489ADxbCy5Zomwk0JadKg6N1BS0H47nE4GzF/fHkGYk/Gbf0SuD9zEVm1grKMTUY9G9Q3e54tWCTK6Q5/WTk3UtMpUz1AQKFkPB6u7KRLDcpFSkW6qTAphKvoNk7qczW21r3JseUlhk2/nzpBtdOSqxHzkMan3z1k3QYF+zAy2HHfFD2LTAq4r3dkJfppbZ8bRrnEMcFzMlZdEFnPlMhe56jd6Q=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774656956

%PACKAGER%
Levente Polyak <anthraxx@archlinux.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

