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

%NAME%
z3-java

%BASE%
z3

%VERSION%
5.3.3-1

%DESC%
High-performance theorem prover

%CSIZE%
238376

%ISIZE%
439488

%SHA256SUM%
ab4edd12bd85d6ba92231be1d1d368f100e426c64a828490475ae380cbc927c5

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmr08sQACgkQ/BtUfI2BcsiOZA/9GtS/RV3ySVJeIMhj+pJtd1Dwkmgf29iVgEA3WmR6Sl6nhuJl4pEjUKH2YRCZIcApxSa18vQU4PIWFf794A6bswiPZjANrPSxPpkMuDYgFnf1DAKgqWEg+/T+c0HsEG0rE0NtyxhXupYnRuXYck6pZgbg5zqna6kMLp1S8vA6m+QouGfZlMuZ20UvhQzb3DSC+2JE/UDH95h9tjSFVs7Ndd1yT7AWraEmh+qT5l/J6soJhsvrntjwCsv80O2Kx41QO+8f31YmB84ImUwO2E2Nvu1GK0vQ8StiO9tkdTlvy3jnFPhPMOw9OtX/cB4dKBJM1CTCbNLSyXir7nFtw//2/4XT4KqurmQW2f4dTxYefM2VmGxConOIfM1jnB+np1cExzmGcC8Q1kafvQZ2Ao9JJ/4O4RTcG5xJTqJMqzAe+dm0Ibk87vPI2A4vj5c+wtyb/lyFbR3mnDnWINzSfDvC6icgA7QYIkHMoXTQX7dz7h8syTy8ETPmKaax56WsU1FUAeL0OUNTyZmbvKPbyPPJSYQCnvi8CRRsqkZE8xb55YL5SF4xW7EEEFrj/pfKl3ZREQ616IuhqthlqgqBlxJmJA1AeuE+3oepVptShPV5Jyeap5Ju/14wuAZVH67P8GRFJgStVfCPjWi2vwMOS+eWB2AhHbR3uI4Gxd4dveOpXaU=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1794436495

%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

