%FILENAME%
z3-4.8.15-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.15-1

%DESC%
High-performance theorem prover

%CSIZE%
11602276

%ISIZE%
41868229

%MD5SUM%
b21a6692203003c283fb0fec2d822099

%SHA256SUM%
a0d74c7d3925f795316288f73a24fa006ab00ba0a37fad4b9c76631ec0ec282e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmJguh4ACgkQdxk/FSvb5qa59w//VSVysCAsWWJtH5mUHDz0V8RI1ZmY/GZaP5Kt4m47Ffmkngiph2RZrwPXwxhYSlQuAovfUmC/fUUOTOPi13IZ96uBRvqMT+fER83NvJHVtCZp6iD7pvlcM9/yM6UCLeaerxxD/k1P/lONU4m8Iqt6ivgv/XPnOiPKlfSniTke8jlveYzSzMTBkBaenIBsYZKfYHzUrYt32/Wao5wXQlJzcsXaaTdTgbyekP9Xb65rS0SsaEwEiM+2l77YTlaTz9bIjoFF/i7qgK1I/JJR1/Dtqn21+s+iBP6A1zuTouBk+tsuCmeC935heFJUyyE9LB46s92JLSUT7Vcmk2UGvVZj5bhxxy0I5F4lhswZijGNoR9I8Q20W+XQ61S7kRDi2SPIAHuPLLPGENOuZ12PzgJA6OiVGdSMW1ZS3oATRcodEtZxU+jAvjtjO/9wVMJFUADqe1x7ILNvYDYbGfwpTDnbGFD5UnG7dGYWD2Vrns37PqwxFIH2hoOSUhlObFVgOckIboAYAiI26FPswvddnM2y/SQn4wbCCUWdMFIrT/OlkecEstB14kpGxl+R2cPNG1vIcscnhRMmYp07YtxwXLiEvo1EtS0GlLVuxTpO1H+j8f2q/8UX/mfnFtcIA8nFzphTqcVQzAqKljIrYB7DnI7qgH6C/oa5/EwL3xZAaecH9/w=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1650505606

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

