%FILENAME%
python-z3-solver-4.12.1-1.0-i486.pkg.tar.zst

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.1-1.0

%DESC%
High-performance theorem prover

%CSIZE%
202283

%ISIZE%
1756921

%MD5SUM%
77157febc42a503a6a15446270979f96

%SHA256SUM%
a33c6b08f6d7ccaab8ce61536ba0cffa6f2793b8b3ba06606c1f7ec1db46aa90

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQS/2kACgkQyOj1oK+bp+dlTQf8Dv4YaEO4vUkmTl4mFf7d0kbsH5TUnCiKTTjvEuNXsdcbGqrbBaNiTlcOmII/CDARxQ++dOGYgfocbroZ6tyn/+nvzSFJe3ZIePBUbTH3KPUuMRW8k2H02zrkjLSvoDE9jQsLoernz+eYJmyNdW7RALIBnjojzJksCQxFMyZLm9ElTpojaO5z3w+KmrXesWnz9A+iLekTKvRCvNINS64UqqFGK4ddbQnbukx+HZijdJrvw3EoZLGQP6pN+BKCl6Hz3h5u3AHBMyLwhavnutEAY+/AOtfveX2t+AVqsdgu/pEt7oo43XL1F8JfqtB/iEEXpPEPyJVVcLsb+rZpE82QBQ==

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

%LICENSE%
MIT

%ARCH%
i486

%BUILDDATE%
1678960859

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

%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

