%FILENAME%
python-z3-solver-4.13.0-1.0-pentium4.pkg.tar.zst

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.13.0-1.0

%DESC%
High-performance theorem prover

%CSIZE%
274633

%ISIZE%
2769564

%MD5SUM%
c4cedf7cffbac0cc9de3035ee6c5a842

%SHA256SUM%
269efa5e6b78560d757aa204404eba451d0e48dafa0f75d5e82dd38bcca60ebe

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmXtHWUACgkQ5NQVaRlrEWAUGQ//UzeY9LozoXp6tMtLGUjQ/ac6EDDyTbNRz+g0Cw9qZC3WzXVGas6EP31k+mSjEWQm07bmVFK600hkclsvVssi37EIk+uB6CJDap4r+2Heii3DON/bxDFCnjtAc4TJgKiVCQ2ihMe8ja81EOUJG353hLGy0VepOlZJW4iSN6MPl9vJ/DuG6j4m8+k6YrCXtkSVWzbHBbzS//ZIdmZ3CxMIkuBzWc9a8/eeglwPUsAkz6D7ubA7A/wQRqB/gPmNQnBzd7u/Piqhnzs/dfHqfa9x8NVEeEsK1Lp6cGyIsVBf9UhMsXuhDUwRQpF644saYGxHlsTIslZ1E1vkgzgQ/XuBPwcKOo3/9BPCBUSc4pURsl6wxkcQf1J8J9bBKj4MEXps5IuV7bkBapTs7NP9foIQGNQKK3nr3KJUeVpIHlQXrEc1Ix6Q4ZbRYsm9MOjpl2KtrGqR52qy1G1qCUqc0ypr7zJywYH/Le/ykL2LVSovw3BTTeGe5+T5xEANa+b5mrWus1skiOmoPelYMA11EFWz8d6Yxqw2lzLtZq2DY4H3dylMkgI2I0Ub7ZwZWpR7AzM/sbm/2gWhPNSPIuPPmFpFwUEtoCjGcbXGhQegN9tqaPX70T+V4j24k9H9T60AWzMQU2nn7PwNs0CMz2T5dtNZ9w5bH0VyVnYrd1P8Bk/lAqU=

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

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1710038014

%PACKAGER%
TasosSah <arch32@tasossah.com>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
python-setuptools
z3

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

