%FILENAME%
z3-4.15.1-1-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.15.1-1

%DESC%
High-performance theorem prover

%CSIZE%
15832920

%ISIZE%
60819255

%MD5SUM%
8964d70e2c3645255c60986bd1e2015e

%SHA256SUM%
d8c4d6fba927f9e8343bc1ccd0e7d475fb5033bb9dbeaf8c2e31472ade8961e3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhOvAAACgkQdxk/FSvb5qYNtw/8CLCUhRji7z9/F0lsYxnAu5hPbq8+33eoyeIKojFp5835V1dlamu8cM7JmrKj5zvpxteqrcb+OrHlrcOw43xhe6mWHjm19xjDZd1ZIpgRMaTPj74q2G50FvrFVRMxa9k8fl2UjglMZEWW1GsLKQxMbm2UKZXrvxk/gTbQ1EeKzoUjK74CCYo3agNk6/iue/rbh/glR11W1v8KNj5xem7mGND/LHvLVh3X0D/2LxTtUFUQYq4aFDAhZ94TvRi/WCAPEj1iS77V6aHBSGIvYBWEBunJ615TMtpTetDL/bglaBFHXGZAWrc9ISJsbdPc+oRVet38jbqZDoIlwd/s3iQ6LNO0ZzPa9BlBI1ePlQz48Za0JHVLFnQ8/QgLnw4sn+6MvqMzjFlgNdfv1x0rVsV3KhHi7gB5fB4urJzbM25Mshux8TSZm3s8oMqLPcYCj+aucDhFnDJ4ViR6Ui7UVj7LtCn/3mY4j4lB++vdeCVvoZGBQS3caRmsZDED4DAxc5WT4N/ZUVAe26+OLvaOSyu+h5pzL4j6+3tVMF2Azj8o9Sf1kzEMmJBJKl7PhgZCQ8GplMMSeSRWY2BCy7rvWELWaXEWVtd/waOyidd6+SpdM4F4SvsDhWIR4UYcRGCS7Bw9TQhDRrFOwijcvMX0NOBDUZJJtMkxM/Tz+pyWGtxb+js=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1749989923

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

%PROVIDES%
libz3
libz3.so=4.15-64

%DEPENDS%
gcc-libs
glibc

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

