%FILENAME%
python-z3-4.9.0-1.0-i486.pkg.tar.zst

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.9.0-1.0

%DESC%
High-performance theorem prover

%CSIZE%
199977

%ISIZE%
1740986

%MD5SUM%
520dd007a73f61e1c1946ece7bee0b3c

%SHA256SUM%
c547a6aec5dc6de0756ff7c60de93f4edc1225efbfab1cc005c0b9bd703159a7

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmLb4+UACgkQyOj1oK+bp+dxigf/ZGUCm/vJNMm8Arx+xD5JukmieL5g6ttszqT5gmMdmVRSbsWY/VretM+9mMOpq8KXme9S82+qSVTgluv3i3/V+K8jwhStiXzSMEwmey7fhkQFrKF0i/FjRfeCUhkKvitwqxCOfcBKe4YJcHOAuYthi714lYRD8pe4Ph4JAm0dzrTGBwWmRnuRPDo4zJTwAFa+ToY5X1NE+yERWTicojRxs/QPKwi/KIFl0zln/w5R8hf40r97LpQeGZt1GoGIYuTYvb0Tk6RUuL18R0/TC11gFqXj7Rkxv+qEnVEGmZhg5JYXHazHTU//GlW3N8PnBXtVQLK7UdPk7ScXvegffpQyQw==

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

%LICENSE%
MIT

%ARCH%
i486

%BUILDDATE%
1658574643

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

%DEPENDS%
python
z3

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

