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

%NAME%
z3

%BASE%
z3

%VERSION%
4.13.4-2

%DESC%
High-performance theorem prover

%CSIZE%
9890951

%ISIZE%
39312987

%SHA256SUM%
616b8c12b841ce493a630e1c6ebb6c0e8933d05cb1a13e96e5a6e166a49f54de

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmeHoeYACgkQek52CV2KUuQ0iwf/XxzztbjTT+QG8kO0KCJWi9JxXP0bGVvF0Fr6J2p1ZYO3eXrZ5czZaT3P0x1s4iN/Y3Quv+iR8UzZlHPqZASnjZfqeL/2D4Sl6x4/VTOsrJbQDPX1Xpxd4KSIeP2EB7Hjz59OKvNSTyiGLOfchFa6RthXYaMfghgXQw3rZ4qJvdbDpxyLRpy1Za8+mrKZVaPnDZbPO9F1gYt08VuBuoRrxSKbP/EGArZWRr0AP8lij9/5Ts4OdrnhR6O8lTxrZ9vKk4odcmRur5xmQ59MqY3uhGTjjvqu2o6nhu52xpqji1lm9EwUplkfv/gIHcjQW9S57Fg4RkrIjAOzH3W03wSJSA==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1736941553

%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

