%FILENAME%
z3-4.13.0-2-x86_64.pkg.tar.zst

%NAME%
z3

%BASE%
z3

%VERSION%
4.13.0-2

%DESC%
High-performance theorem prover

%CSIZE%
8852570

%ISIZE%
35240305

%MD5SUM%
31b162657455992fc85971e7ee05930a

%SHA256SUM%
94505a4a6f2258c6d7977df1309ba7ad542d47436ff2f37630fdffd09f2623c2

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCZvoUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZt0g/+IltiD0WFddf0xEKhNa1ELi3CRUBcKsY3p2LxLh55PKf3KIiqXHfpLXoyPGyrrxL9hU4HaLvJocfTJ19MIWcnvfGew1aEScFbH/jS9qhju2PQjjB3pbPMXo7h065HmMHUGVm/Kw+pEVPcf6YB8vRfWaq8OD3bW03vhMQDtBt5MMLVQekGqKb8IMxvpii4MpOMaVh+GhFsM/fePA/gGkcQk+hEwXnzOlfFRUshXoxpvPiEXbLZKx2QHus1hJxihkLJuXa1WXK4n40c/gTrHBWRAzuM/8e1yq9xN59FrK4VE42ek2Twe2pu0AQlkxbS6/PYCnfqweJOD2K60h7hwFlTs2DeGuxPCkr2DYSPiYk+D66oLnVJljr7AStgbBZi9nKXJ/XzCIjh7o+BxFY6eWWLKFI9C36EoglOMHomVqM2fnuMfkZCt2Tz1HXhseekCpH4EPbZUyYzpjp8YpJHYcBFDccuAhwiqNpVeh7/+Jj5A3wyRJt4P3C5AMA70d9uFgvmbI6rcAKZnsbVZOSK8S2IaUHpmrKSPbB/63SdNY4PKz/kJEH1k3khc1DMzWj/m1r5V8be/8Jbs6DSe/9EKAc+OkldJZVJXgAVQvAfees/KSRetc5bJH3S+9CR5eP/stS2yruImGjsDdxpRKAYW0C8Ws7sKd5zffHTVZk/MOU1HxA=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1712301208

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

%PROVIDES%
libz3
libz3.so=4.13-64

%DEPENDS%
glibc
gcc-libs

%MAKEDEPENDS%
git
glibc
cmake
ninja
python
python-setuptools
gcc-libs
python-build
python-installer
python-wheel

