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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.6-1

%DESC%
High-performance theorem prover

%CSIZE%
10997752

%ISIZE%
38444032

%MD5SUM%
56f20332185b79bbe8601f841242b418

%SHA256SUM%
0a314c5daa30bef8520b5ddbf36b2c22054ee2bb1cf2773f7f5393d6f789b1c9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl2RNCgACgkQdxk/FSvb5qZGsBAAqQuXS3ZSr3ivFbiK0otclFeFQyf+23V9ryV5VIw347a5D4IyT2fQH8YQdVRViYJCcjmYrCLYPd0LxYP/+rjmuRr5uuHWbwywojFW7MsloaDeCF9M8KPLSQ6z7226Vt9YFK62Ps1sNLzIvwy+fyPBj7G6W2wMdSMGqIwoMtkvyeFasX0Oi+Ht/3GQXOc136/3btBJvqr94ILk8RgMSu78xI3yN7iX991SE+yqQ9/XwfiA2TRx2+AhBBSYcz63xzXZW0Y7W1LYSzvWgkLMYl9MX0FIYi2U2WAmNApx5ivZaA7ln45hKIELlnusiGwWkSKTqJ3ZFYDUMqChNWittcAC6kDXUDDy/kLLuIf3CIbvoBz0z5YzuItKMvKQls3jH2Hk9dPPFFal1Lrtm98enxHKawcOOsnAIP0adJPPDVB75zN9ncUdo7gaS9+WPrXoGzHBOC0reaeN/axDx9u2E0BWMghTpAO2mUGxvPw1HLAzSfRTi3O8R5e1+Pp7OB8KxmkCoA9uAeCR9e7mWknXTDPAdlt8W72GaBSLMpHfrlAL02KdiG2mhKQaLQ5nMp9DeZN1764um7+aczLvayGvfAgMpfmXbgiXvOlu4byY6iNw7Id1ekXRoCiW/DtR9TdM78Fbx1zI+zPFIF3yMaxv3lZAsaQLyMeADzX7541bv7Jt/EM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1569796746

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

