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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.5-1

%DESC%
High-performance theorem prover

%CSIZE%
13536300

%ISIZE%
52803986

%MD5SUM%
b84c63b6131e2922a8bf4e094aac9a97

%SHA256SUM%
58e045bf4c1f8839af11228aed4191928b5295cb427393d9159f7ae9b76da138

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmW0XHsACgkQdxk/FSvb5qbS+Q//UD7Oxrtp3JwzqmfXGyOnmPl6AdjcjziJPnoKcBpsbxJ2qquCXmX1pzWNW9D51IZJefoBUVTTSv3uQMkOrYykdRbRBnbhkLXnKF6LC/xisvEanIsTBIDmat60bklpfm5V2YzOca7N9WdI/WeANnrsdQbjiTTHxhU7kIXkRlwvfqDpRf3t4ZOiq9Id3VYLdWo41vptxjcBo3BSTtPtghWaXqAUd5YMSaPh8oO5NrleYj88fHpH9fPK0oPbKa1HaB3ySmPnD+9JmG92btW7xeuVDugOirdclAaRf7c61TPEGQrXuI5A7Opezt1fAcQWQJPGSjfa1Y/nIeyNNX7byLVDNsWtcVnagoHAexJReyz8TBB+ReANqJPy7Xdxt0Bv54qXQ+sUVfZEE3i9mcpW1ZieCP40A50v4XLGOwVZD4m6GRUtjWwpOE5lu4RRTuOhMqsv8z6jQFK0MpldWyexOGjNmsZ0DXIZef8s3GfAyv2lOK6Txlw34XakI4gEqCBsmnLx2FEACu7QnxbfzgSiZve2tAC67t5+StIqTnpCt6eVp91bMk0QOUnQ1epKxwQbxtXs0WXLhfpRPFzrwWdSJD0cosPFymwFB3vFz6uEiSJ3l5ecEaNvGuWbASeTeQTMXlT4YLG9/DZ4xMptTRj217t8k4FyB0Yl33zY9AAxMJWZr7c=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1706318541

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

%PROVIDES%
libz3
libz3.so=4.12-64

%DEPENDS%
glibc
gcc-libs

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

