%FILENAME%
python2-z3-4.6.0-2-armv7h.pkg.tar.xz

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.6.0-2

%DESC%
High-performance theorem prover

%CSIZE%
164456

%ISIZE%
1920000

%MD5SUM%
75f43597653fb9bf45a09fff60ada649

%SHA256SUM%
8e17bdbbd2ff51e70c986789a2fac4ce2ece530a844124e25f4aa9dbcced16a7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr0vM4ACgkQdxk/FSvb5qboKg//ejKYZ+TMyCOl2hW5JbjX4ovaa7D3D2thwEST/pSKvBXIXRD7DTbH1G+kuEZ3l1zD7uEnpaAqJa+VtS93KxpIsmS2DAVMCM6sD4pWzMn+qo++E/U739EWZSndvAB+Dd50S7ssD9P6trONGUlG+26DTMwCyUYMD2WNsoHwBl5HSPF3pJzIHPPfQxivmQ8o+E2TOZtv2Tp0NFWK3vlIOoEXznHY2MINvGBJ7d1SmoqD8FKcbV0rRAj+420XIbfoMU25xLz6VmggJ71d/tzjVPzpihN9FaUKCclEO/cQARFE6gK7kpmgeFePhz9R0EipuqlB7qQIjAbJ4n/nOpq8mNRXMP+9YmlUrjTCbqv82htppA5ccyDxsjBCwnQrOH4NldIdnWzIcyd5CZJ72OTHugOjhqgM1MWisuTAamdsv35l2Oj0na1um0NbcgQGMBN8zuhWuinEKi6hIc7wJxMyto+qT34qRthVeQUNWu43fj75iPHy61JWZguR4bJPugp3cCk7WHmvbLbhzMutHNsPj9kE8TM8lFESuivZTwT7UzJB7HZkynzYyabCdtsq0YFPEFNdRvYNoUKEoeRssX3xkCeMOTTohbrqqXmaHgkalxsKoi9MUEGlehDRyi1VGb5WZbRXHPqcTdwSqMFg0cQeXThFy5NGMxnDq3Zcm7BlqnB33Fg=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1525988553

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

