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

%NAME%
z3

%BASE%
z3

%VERSION%
5.3.3-1

%DESC%
High-performance theorem prover

%CSIZE%
12926805

%ISIZE%
47375409

%SHA256SUM%
4e1bbb1b7d0cd657414d81958107ba777f3d36738d5f4ffc55e5230c1282c14d

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmr08rMACgkQ/BtUfI2BcsjJWA//dAODJIy2Z1Yi8z2D7iws7G/2z8QtD82UaQZrFq86xm4iGpiAGWZsU0K1RAPaF9U4UIyZBjTSjPpQmgkg/IVby0CdB7taFGVJZg9GgCvBDUb4FfkbZefQM3LEFf9JDXuWGAcM6aeY65XMjNGMtVtcbardKeSIxR76wZzyvgJ0t/pXMWfKPlryJkEeReY5B9iWLh1YMHkpNlN/cyZDOmegSWZmHYurzurxm+M7V4z5x5XJqIy4hLBdS0Jhnu48eymH4ERduDBcMMHxgF/yJyazKTA5dpIWEL1Q43ktKbcQuZT17YHOpbeWQkZNW0P1t80KZg1y71UAATtFYLgyShdfcV4t3QSgsR4mdlTD3mFFedfLUW42lTPR8dNmTo77XoJ947BrxjgHw497FuTXtrr+FY005eHPxSV1kaLMiJb0JBkvqHu+7NE/n/LinFuRScpxvCg0Z9giU66fIzwizQQV54tkWhGNNy6Wliahy4ydvClUG7H766QmQhNjcvxmkd1yF6nS3QHnYBeTEFxscZ+SFa9p4YBLBVi2u8H+gCEwR8Ry3rl3jol3WY5yHmLOnzGlvO9Qp6NJ23Z/HqBQoVluzsZqcFeYoTyeA6Cn5mJqlc9UmccAGNBvi75rM0nsAMR1alBQWj5qLsz0GDMPy2mUdAqBZHHDkshDnOQ1nDGlI5Q=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1794436495

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

%PROVIDES%
libz3
libz3.so=5.3-64

%DEPENDS%
libgcc
libstdc++
glibc

%MAKEDEPENDS%
cmake
git
glibc
jdk-openjdk
libgcc
libstdc++
ninja
python
python-build
python-installer
python-setuptools
python-wheel

