%FILENAME%
python-z3-solver-4.13.0-2.1-i686.pkg.tar.zst

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.13.0-2.1

%DESC%
High-performance theorem prover

%CSIZE%
261770

%ISIZE%
2605111

%MD5SUM%
8398f7d846195b626486d640aab2299c

%SHA256SUM%
4af6f3ce0146d37283e2ab366491d77314f9e064939a3a23d38c5a3b48bd73ea

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmZADyAACgkQ5NQVaRlrEWC6+Q/+OhD3QlI5A2KWj8JaPe5j2hmhOETqyCZyAgEUgCaa+r5UMr+x2ojMvhIeVBQacASFZ4ut18BNA7rTm7bEz6ZnBZF3/Oz+1spCApDP3q7BV8a9D54rqhwX0txkLT85yHQGu63QbkSWOe+4DA8M1Ev3CSG3iWC/ArxpHY3Otp8QAVhTFIGTF1tt2fkjf31b/LQULMj/RT/RxuobbOUW80zWtm0j87HxW+CVQVXSnEXOR0NHQHHbZQbXdBgZvsidXD2BBAZKVjq22/wyq+0sf5XGkvicONJ5xrT364Xo3v70qRQva3kb4fg7VwNgeC+JmLx/Q6KNif7UklpEOJQQSzvFJFgiXhWS4ykWXuXOhVWDtVGH/OHT25Wa9W21d9HqZdcnbijPHWHX9phdiuGhKD29TjpDJ3dCL0Da+0zSwlcybImq9s9uEZBLbEGb7ObRRf2gRGFXUOhsmN8tug8NWeIxNcIyW7zrL8iGOxHOSTiU/GZG7xqjwFHEQfEgC1HdFbu9hEVbAF57yQx92QsHFwwimusGFY2HD4enbQcNK2Dxth0lIuHvCqcNM2oZFhsYl1pjCZ3HWg53446lAXVz1YHVypSUqOAbE9DKARzmjoQoZp59WMkMeyV1+atarhBGthW5AkdzvV8oCKVgFw4g/iewdGymAqCXQmqmjOR518JXLJg=

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1715473837

%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

