%FILENAME%
python2-z3-4.8.3-1-armv6h.pkg.tar.xz

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
165768

%ISIZE%
1952768

%MD5SUM%
9cf31662ba47f73e86d0378ccdf428e3

%SHA256SUM%
a893b770b5e5a31b743f1c0c30d8a783231b1ca373ff726335506ddab9c68c58

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KooACgkQdxk/FSvb5qYEXxAAvGb/3mavuAOAsIsjhk/XnYylEI3ysKXYe/Eb5tH5O/VYSuyB71avdyrk6BTSwRmfuXHBbpw7SgeXJ6gTnl28XTVSnY8d0EDPqvDPTpM/y7DWulOBQ0ERIGjF6sKqNgYM1CyHLObHMJ2E4lL5Rd1LynaYFhRoHekU9+s/tTxfShNmL7uK4HBTzOu3p/Qaf9pRSMPTAfSvb+EMkJEZ0zlKlYOacJ5Oa7YQl4uywDX+x1F5ubR4nct1wo43pLZ7wAbdRS2cfI1Wem9/sZdDT1X0b56Dv+l+LuhcLZCQHs5IyPA9WJSt6vZHVk5JBji9h672G25RaQ3P3QYAHjqoxNEfvIhl/Av7MPTXF4diV/SLhTb+8X5M0V+EaIf1TwLp0XaV8jiKyr11/JJdBVvrO26NyFHGqOIzEDJ38Y+dq2ZS2nNSFZYQlPP9aJBsfRZHeF6PLBFGew9jDrro22RBQlCq/fZpXHoTxhCJm38qQQCT64CfEgSN8ORn7HoUY4m2WkBBgeLCbwQSrzy3+WOGsivk8QhqegVvdvpOMgAKIk0TbRB9G6BmDHXu+5pK2dtBuzWGlU6If71P6KNsNPLQozTCe/qjEkA1rwkzYnkogO+qwG0fZBrXPO80Fm8l1XbTjDMjvBvp+ObotxqNKcYk+E7+crD+h1FWIr2pHFLDYD3gTSk=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1542924465

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

