%FILENAME%
z3-4.13.0-1.0-i686.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.13.0-1.0

%DESC%
High-performance theorem prover

%CSIZE%
12909178

%ISIZE%
35083997

%MD5SUM%
ad20cbc2287dec1760c8fc8647ca2f34

%SHA256SUM%
0d1ec9b8558c2017d01e53cb21c74e326134a947f0c5ab6bc99ef03dc1a7a438

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmXtHSUACgkQ5NQVaRlrEWBQbw//eYS3I7BDnrskF11wfUfhKM2DktdiiaZ/6StXurvXXREJPF1nhTHB3D8BMT4iP1n6mDRMuv2z3vn4NuxbYVF4lISYXw1MleI6c2Q33YZDmeyPaGTHCuEit3ZOBjEhXymptKNxP4nIStFOfVN/KdD3htzdD6/7TTMTtVR2ZFKsyIGLxPmicnsOdU+OZ6PsDXR/bm/gPbMLEDPHOIFHogW0ySZyK+Hc35r0OWmwIP+MSPv3H6KoezRe4GfpfBMNFtuY2fScLJGULYStcOsJsnQsNpeeME28ckBkHfP9lt/MeHrh3XzDmrrfbcA+WUZTHnHbc7bZQInWZH5oyjyfLnsnH0/U7SpeZ43PEyDKzCjGsyarhV9qVj85MQ3FiYmYVli8U2mylCxp+2uKrExXrLoLam6F8HjeCIxzZKI5mKsgx8UBbudbUhB3RLsMLKWYeIAG/8y7Yqorm7qPjsr2cmsEPzNCEE6WrDIvamkEW99raPX6QIs+f/KkPCCwdh9imMLA56L5PFUOZX9Ej+ZRtMx8/w4YQ4t7I49V+MRHDbOVrzgqfzrqnEKB/Zo3Ahr+eiX1K9EwyS+cPL57s2tbXGubxjtM7VJF+ZRFKaajYud2PCq3X0tGTDl402DgZ6vXd+Ctp/dq9R8VJpMOYDMSxqTnRHlvvhsoYSRHfM+bacvvsyM=

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1710037924

%PACKAGER%
TasosSah <arch32@tasossah.com>

%PROVIDES%
libz3
libz3.so=4.13-32

%DEPENDS%
glibc
gcc-libs

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

