%FILENAME%
python-z3-4.9.1-1.0-i686.pkg.tar.zst

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.9.1-1.0

%DESC%
High-performance theorem prover

%CSIZE%
200489

%ISIZE%
1740986

%MD5SUM%
046c799cd8adc7a137d820b6c98b29fb

%SHA256SUM%
e7343fb0afa192bb9979b0320edc02e69b988e13090680553dc90a53a776848f

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmL4pYMACgkQyOj1oK+bp+d6EAf9F2SBZIXtYyCj3M95M1i/HubvKUNOT7a2E4tMNgLM9vaIAscGwlWnMz3Dhc9CeCnli0U4dr/4OQPdf3MchHrNceo9k6XcE47MqO/eiTbugk849qjoJnO75/7w3e46CMiq0brpRwlH1rfXWJNA2xgPgTZNH6lSrwXDgvm1MVIUvfIW1Li2sQcsb3i/MISgEKEIw4H4zPATgvQnrRXY1D4UNkhr5HtPPtuYZvLyXJmle5iq1GjoRLM00x/N7wq0OZG21HyLJSsRtz43UyIt+PeRkFkAuTPswA6KdhtxdOWsstg/HV9OY+nzRJk+TiHKj0MYY/3zoFRICizmX0e0p9gnmg==

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1660462101

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
python
z3

%MAKEDEPENDS%
glibc
cmake
ninja
python
python-setuptools
gcc-libs

