%FILENAME%
z3-4.8.13-1-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.13-1

%DESC%
High-performance theorem prover

%CSIZE%
11495220

%ISIZE%
41507060

%MD5SUM%
97b58bbf09654a29fbdcf43c1a8b8397

%SHA256SUM%
2315ada882bd9846344894d3e79fc55c6c0b1e72cba3b982fa708653e1a36594

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmGc+coACgkQdxk/FSvb5qauRQ/+MDs1r1eqH+NdURu46byPnmnmvc2j/2Cc+WzgoBhR/4/mEo8vWBAruHHMNLQmANKDlfL1obIpw38+rRN/nenFAR4wI0U39mNIvqM7xhnUnz8jP/LRgEF5NIAwi2CxEaJAW0nQekDvgzKBkOVb7N01abSUYjxJ+SWZHFbC4EhJPo1BeIc3IaCLkQ/BBMJyri5WHKmQwQbkXNZk59AmBf7JFy4Yad678XNt5YG20U+OAe6i5oFTAdGRBAr8/boP6JtrF6S2yxJutNaWHHf2Ev5QKY6eGLszvFUJbJn/sY6VbGdB6hHZ5WlB85ZVoHRN4PTSTH/as1jbzxHwLhlt7gtQhlz3S90nS3v6Jw8dOkh/GbUDcqFwyuiGJJOrIu6h8741gYzkRFzfkomKt0UBYc15Jt/g3zKWalNkpu1gIE82Boj132BmBIDo8z/Rb4lyiB9F/Hdda9IF1wW4uxeg0KgyT/CSJMC5iw9oN3qaBxTumYGSpET3tqHqeom6LZt1czCAJpcfdgzBa9tcTVVt3K369SRd9FR6RWti5W6Qkt6cbVx/YetKWF8Wipbcly6b+sGPx/fdOpEV1euFJmfqR+EqoDVQKR7vhMFtAkldH9sfynvfpID1EAW44txvpZKYKJ6+AOZCskTLabBOAdlUQpGHTnFbF3suikkCyqrwq2lBIps=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1637676827

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

