%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

%MD5SUM%
a7cd733103f88651a5ad609e6b40ea31

%SHA256SUM%
30afa59949226b89e48fe20aa39b2cb480e487bc87fd20310314cc37a21cfb6c

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmnHvxAACgkQ/BtUfI2Bcsjj5hAAzGbrTeS/f7pB6jVNPsjhwR1xnwxxmto3VTQ4csdIlUszQ/raZh4EA0nZFhYfZjTg7NH1f0j23RgIngQg03ks/HtzRo8o+lJJSLJyNFdGppO9T/pheniQ0Jjp6EIwGZOF6JCBc6Jq39+CkWqNwTTBUGSZ155a6SATjlVHvXI5JGM34Nl9k7lF6+F7I2Bm9bpp8hjN1+Pi8sICcvf8LHh7H+2S+jZKu9+6ZkWxdVv5Ht64Wvrg5WoN2GjDehe7Z4RDv59uiPK2tcYx8WE3+KConCu68TeqBTFPrgXYoZnB+2uE4nQ3IqYBz7JZlARgONGjZGihBGTWCcNwyuI2mJQT+y9zQblXj5qqPqcYNXaGm4n/foIzMRxKR1GW2l7MfuJsljDL8wNqZeb7cNRwmzBFmD4TOsxr7bjw6iHFc0Tr/DGRcsdlJoKPp973QLTxTR8fSH74H9xO7m5c4dJeNxdHGVZQrCLIzedfQsD2q9Kg6upSLT6VuYLBFlJXrhdWjn9OCL4jQC4RyGKDCivAvfy5hxEyHdHS6+reJPm7988q8wdJLKabOCy+VZviugtFSafoQVqCp3quq8F7QbHuzUGyEaaRSyJ+47iaq1NJFnmvZZ3TbtnBmGistIQInAmHEFsfIrmbXkN0ovsSpVK8NlF2kL13wbf43tSOjq9XK/tIIyg=

%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

