%FILENAME%
z3-java-4.15.4-2-x86_64.pkg.tar.zst

%NAME%
z3-java

%BASE%
z3

%VERSION%
4.15.4-2

%DESC%
High-performance theorem prover

%CSIZE%
224644

%ISIZE%
418814

%MD5SUM%
5db94ab9fcba26903c84409d99e7c339

%SHA256SUM%
6427f3597d4671e7923474c81efaa67e8ac0a23333f104763e91d25179cd58e7

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmlv1P0ACgkQ/BtUfI2BcsjmOxAAqfzUcEDGgNJIM5UPli9hMbHvDktRP/kvA/m2JXmd8gFJzS0XEz2OjA1c+ohBfAMsL8qABMEhn+abDQoldRHgZmEsKJklgxx13MnKslb4A/MbW+KTtj3/8mCFJlbTQER1l2pC2P8RZDEfnSemG/mM8+rekgmKPuaj9mOITiT5KLXCnu1eiIoncYebbhhVseFVXxdFBoKeUrJ/GzFxACs1W/mtUakf+AnaDhSGHRSXNh9MBIVtEK2Nwm88C5EGJ6rQntBxevbmgMBBqtmjpY4+/kP8kHqGjjRQwtncddS/YtO5xNMVoJFTaRlbe6qRaMNaAk347NHFQXbkj+ZoDYGmpeEFYYcL9orOtOg1sdD19oFpepJRgBbV1Ss9E9B0YqGSje0DW54x0o9DhTQwiTRN5tHnN9kmwk3qbbAUaVt5kig/2gi8FNvjamqfN0TqxiHsvm6bR39TMl1Hgj2mgU242N8+dZGk8sy2/Hzsjv7QJaud+nS+DMa1EzHiBGI9OsAVb6eD19MyPS+aMwWlOGdcBvkKy6TauULslBdROmLeWfNVvsMTQuOPaTvki+aCtkdLronXBHGTpjCoaeiyaQr+DZ58jpORvk3LcN2OGvIsMPjjstIks+81HCdkTcI5Fpf3E6KNSOR8bG7r1qISLjeT4ZgdLoMbEUcsxfD1Uaa6oP8=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1768936206

%PACKAGER%
Levente Polyak <anthraxx@archlinux.org>

%DEPENDS%
gcc-libs
glibc
java-runtime
z3

%MAKEDEPENDS%
cmake
gcc-libs
git
glibc
ninja
python
python-build
python-installer
python-setuptools
python-wheel
jdk-openjdk

