%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%
228312

%ISIZE%
426134

%SHA256SUM%
d3cbdf1f58db5c8f327dc13a5da21469136658fcc398bf3a1d086e3fb9ad673a

%PGPSIG%
iQIzBAABCgAdFiEECj62uxQsVmUzAEIMEkfZlfFlu6wFAmnJs5YACgkQEkfZlfFlu6yWIw//RerWUc0VqrlZg2PfXf5CW7YsfI57kT1GYDkb1rgTL9Pn06sFZIYL2pDJyaKVtQIQkAzmCwXnO3P0ujyaAfa50EX+AJhMSdRGJWH31LiJzR65zZEmEJNvx5pNcAZSs8jda0iwGYv4BGkpQHOcN+lSgtn3wk0hl0YK3oHsoW8MuiTdTxLEMYp2S8ZMMMgbbuhrHPNzED26FAcPkTzqTyju9cc807CvvoFogZJHIWM8uj9SPDKBVfl9zL03ffbPBDHE3s/VWTPhZidqJMB7qQUhzNcAJwWlPXP36730iDH/gX02pBk2H8mLPckjTbsrGNBM6efeVZsIMe3cNhFvsY9EdawNnHyTw+SueInjFRJxVI/bfd1B0GWoyCDcJBCBdeo8sAgeXlQB60XVs7pt7avMi/jFH6w9iWZP+Ay3TEFLCF8e94zSfWJKAxm/UIYfQcAaN4bBRdMnUQP7KaRlg52tnvIb8JxYMlza9ZATsyc7ZmdpSn3tFpsf37Z3I3evwGA5nC0CrislXJlTjG59rHRTvidKMEQ+WyzlPeEi1S/638m0bzS0+KY8OvRy/8lySJUIJ4URU4f61889I3DmE7Bx5nuiFkveisrGqNzdT8MCXAiXV3vFQk373KDfuL09UZ3v8XVRqoPuC9cmh1eXzI29dNm5lRNLwhpDhXHhnD26jFg=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774825855

%PACKAGER%
LemonPie <lemonpie@artixlinux.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

