%FILENAME%
z3-4.13.0-2-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.13.0-2

%DESC%
High-performance theorem prover

%CSIZE%
13656860

%ISIZE%
53111403

%MD5SUM%
db04d242689ff3d51b3f27c59a3e327a

%SHA256SUM%
337b9b29ee9918c0660bc7a61db17b632b3a37e29688c87bca39487b9d2e495b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYt2SsACgkQdxk/FSvb5qaPdQ/+J0/+9CwXut3pprtv/zcdcXGZFu5KjbT+RR9C7tUIDPpbqXxjnFV7fRKCYj96vV4K3SFYv5eOMW56dt4f/yz70Dl9I5+fVrJ48/9gJ60pSEHUYtLQDBoBILAC9AAwPnpaBJSH2Or/I/4ObZC7Mzm4UDvdElX6V36b88BMMbYypC6P+FKvCP+jSKoNXiwHBkxCl+vHhbVq2R3U8XJ1Rke9ge3Ayxo5E5WFbCj3t8eszZqrkg2fyiMgegfGbb97w1OW1+8oxOL9g2zWkzaLhW8MgmihVeNdcgtMdYOhgi3hYY0rrTtWVbmiw1IE7V9HH/eUwSWNoK7wK/YttaJ99BpmAh8Tda/oNPSoBkHmBkFVO/srsByG9jTfkevhVyyAL3Rr3+hFXPoUoBJ/rtG6sJql08DfCWNalJISGX94mY1dKg2D88igVVAgXMBV5dLpCk9SJtCVxp5l9ZxB8Mm5V2OKeb2jrKaZMCTtAE8nsKOFnT6S65Um4wN8UjBMzcu+YyvsRyPwOsOAL+SLfOXFkqp+JC3QUugeIkAHDeSOo0VJeZHfowXsrk7xCC95YrIMWFMmLn3Gfja7qDOUZYERZuhV5WhCQFBDjMD9G9zcx9eMEYbo0v7r1aeyMOJZobl6gn6ekVFo1VSiW4YTpvCrYssB8oG7xsrWy1jKB6qxg9JVb78=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1714280359

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.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

