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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
12425444

%ISIZE%
44656817

%MD5SUM%
0fc9cc7966beb019aecca96b271e90fc

%SHA256SUM%
d36018ec784e6a346abc5a5c6b4df94ad662105a795463ff92f362068b3b49d0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64fpgACgkQdxk/FSvb5qbJyhAAw9ivTTvpq9I7M/XNR2FpLrH5D+DJxNlh8U3AEQGvSzgtq+luP+WR3uLbxBjBvD4vIUWuQixV2LwhbJ9sf8DGzKUBX9GSYo8v7NZ8aJuJmXZGTc8jt6UM7uRtK8lbry20jz9B/LGshmnV5bW88/BluVXo1vK2ArekV5BiNeCqWRb9G4ej2SevCXh0P14Dx8vzMqbIdI6zReHvUVjtVfAG8gYGpEvI2AyPbldBnx4PU4QThbMO4uVmkVLz+/nNB4pb7PUeEooPjyZOQAmM5oeC51hwfuURujkdTfOTJHEB+V78jcHUqRE/TyukowoIpQ4I9F6Cxnd3t43a6KEJ+9bsLS+52dhaLnz/KZcyLAxGCM9Rz9Mt3zv5ynf2KHWawlJT/Apdxc7Ly5v9TDDwq6xM1j++eMED5mIOSKf7RHvNhkQRxd4VjBnngXPHbOBcujwBtfUHVaclpg4HkltqnNV9REpOnW17SNrPoZS9HmGJbvCbNN8dYWceclGbzDfAS4AIfOo7rEPhiJItOyd1HkHLPvxZ6UQAM+fMKxhcwwhri4bGAIibxsikonTHRyTDUqLuG1pg18qA0ZUnVW/9qvWSiuYk6r8Xmub8NG3TXiHCkxAdkZMSL1rvql7Xzyfr5Ueg0awzy9fZsAYaNsYoqvNXlYYoqf7n27pm4ga5Zq+TusI=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1589148896

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

