%FILENAME%
python2-z3-4.8.1-1-aarch64.pkg.tar.xz

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.8.1-1

%DESC%
High-performance theorem prover

%CSIZE%
165240

%ISIZE%
1945600

%MD5SUM%
af3cc9e7920ef157127747cd0febd05e

%SHA256SUM%
9f04d819d6ac8a43951ad72f7eff638c80f61b698327578aae565e2ca2ae0f8d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvh+1AACgkQdxk/FSvb5qZz0g//Wzd4QzA8+AJgB34w5JuTITJURy/bRKGqVK6kL8U7JFIZkCe2clh70CxuZKTiq2KVuICxTLdU4s6ZCYTtCCbYL0r+Mp06Flugt+huPrhnl5aSsgsQcArYlKaBM1uRfZzFFvEHX3NelNTLIz+8mcaYnh9I1avGi02i9XwT2VoPgQMgj013Za+/7nPKkOwzVzEt9VP+o99cIAQ3JI6oDUhpDCGofOZdM3RgDQzMWpV6eZz+2t5WXOuG20oagMBH0b9ivtpONcR7lQqzPb1rBKrpTTzx/FS5CB5Ur/yDJA8HLxEHbx7z66h/fVjDkI1FRiuB7O3M7PSczeCI8CbvqOFZm15NqBeRbZk6Rxmvz5FVdxhsFs464tUgQWO44/j9ASjvjwfV4RZNd6BL3eDH6a3GtAkOgnxSNadBYi1TQ8Gp9fDmVXPl8pBEZig1Q5y0mx5ryRaMNi0cp2jEcc/hFuCbislOKyaArfsCtF1GaOWJry44wMvlut+ehUSbPWwQRCioR1yDbp9y6XFItANgiRRZkLXO6EJyUntub5sCFatCKqJ3v2zdU25Ke8YvhKa85s1+bMLC8qxNLl+EPAI8K/XwmVp1yv3zIgcoG3CZgKVfjP1SmoYQ0LiIXvWB8FlN2euzO/u3HBJhyX/e+HV4GuxefC0uIUhFPql0x67/d/tyV8Y=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1541536381

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

