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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
165804

%ISIZE%
1952768

%MD5SUM%
73b9c20bc67d21689e81df83b79f4b63

%SHA256SUM%
e0ffe44d24efc22e14ed6e98e7d2d610d51c7eb3ad4849f051b3078d515cddf2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KdsACgkQdxk/FSvb5qbGXhAAgKvUvRMn5/n0LEA6JqIU8bGSZNyV2qMN18g+DS83zw4mmmO8BmLu9nLGwD7igRWDJBgbVKYiglWMCiugQkECiP2crCkt8pr1W7NrNyRSA9RVSJvKtQuHsMCTbJW0MD+WSA+H0PPajwB7sKR6tXxhNslNQbznyX3E5chsX/c0/h5M+sNuqkj1zOfqZzDXAA8fQ51BI74xI/24KSGkwBa5NhKQYGcDypMGjiYP6KH3Z/nfYhkZk4Li6cdjDC4utNEqfPMuhV0Ilpc+hhc6bN4YTS0YPz+k4Qha/cD4EXTFdihJPj0fHbsCOX7IQPw9veaI0H7joPrRfjLD+osg4fqMs0/gU9yQRkCoAa5BPF/A4N3QC71Z9BTaeWCdACv4n/ZIfHhBt9IsdOqb3dmQ2HaxQbw/DhVYtAStym+ZV1SB8hQQRTtxZbaTvXQ1j99ElZ/gjbWf2za5rTHY3ef3PJIw4voq8KtnODdd1WvgrwY9j34l8DFYZrXJCZMjOeMD+M+QwRv2cK8KjgP+r5wDa/A6A7WweP5fAMC5AmZQNUARGRhB6t10XAj/w/oi+sqG/tccxnBfs0uaLkG9/aoi/n/MUckyYpCfDjAtjimoJnkGHMKsvZWHYQ14Fv7m+9FwcbQVmPETKdOJn1JW+9j3Kw1d98ctBXa1Fj9uiFM0ktkXMKA=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1542924526

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

