%FILENAME%
python-z3-solver-4.13.4-1-x86_64.pkg.tar.zst

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.13.4-1

%DESC%
High-performance theorem prover

%CSIZE%
271639

%ISIZE%
2566705

%SHA256SUM%
54f95c1e6db7d62bd8503e0ec18a5b4951421852b43ccdb394bc03e4253e2093

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOrcACgkQrx0hme8KPM/SoBAAlhlVak8RETfoa+QsR+TGx96zqu9+QgTjTz0Cw718W6YHHqsIKQYD0zfUEsxHRP70g+O+2t2IN0XYOQSCJn0z+l4Dc8kdj1nx0sWWHXlpT9gsGdI15SZGduf6j9EFfnUlOzRqgbRMlhWyIg6u52hm1RAe1fqQ50rSfwJyayorREv/+4PplV3ZbcBnlPc/0xVK+w1VmRCh/9J7wxZ4OVchdTi4YKVH5kcgOgsZYGajt2nIuIo3eR6u7ZaJy9LErvLl0QEahe+fAp0Gt97+KNcitgFsf8iOXYE45NXUzSG8+GZ98YAXKpEmMz9jRLjX7vH575xftPUQB7b1wokxYtdszeku/gr41cs9M2dp8L0Ba00EH6/bQS660r5aVne65DW1l2mNLssWJ1GeczPUjgN+rAwodBF8ox+CGWH1DDbMrqmUUP3yWEyhToCnbkx8XtmJH2HTKkq8zxMoDw10co94Flyi7tCqihnV2aWs0VSWMpofVx8zah+K5ms6HSQ1YzTcP99fDbq/wE0bR0Bor7FnLrmA4uQhNEyi55oY1ECk9G75tcvnnBY845Zyq3yqRD5y6sRnNlYxJBUaUuDGbAeEbhETZq70YlKB4zdGrOJX4+LAhdCBtmJ2y4rU9UUWc+RI6a/Tpp3lqNy5SXAD/sTCwnfMTQAQaJaVYQKicdXHQSo=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1735159344

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%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

