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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
173324

%ISIZE%
1735680

%MD5SUM%
84d71e2f2728aede8aa09c12fe2e9238

%SHA256SUM%
80719bc7d709ba76a4055249a4999706e837e85d469a453939e241ccda271615

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KdsACgkQdxk/FSvb5qYjJA//U+hF/F0cB1MZ23GmLZDf829bH5aCBbp1ZEJ0UuNMI0bKqXIhX8VfwVAQsysBPbYekKgQ77jADV1OtVzC5H7WkoORZyuWmz8TjlwpoPkaBZUwhXUdoexHwjc0UAcQJRFh3B6uxD8Cno8dYPM/sFFDdQqbX+PiRUoSgOx1tDa08jE6Vklh/l7yL9e3XLhPQ71oaQYnbgNOCEBoF6bONaiOFcgwmDGNb3seiDUk6niQixTzEjxOiu2MxUKonLlqzJbLwGuSJuxzicH8KoaH+2gp48TwYUwZNowmudvrBWgD6+NY+4X1qR/L2QvM2sk5+dpu8WpqzDK0u4KwiohRI4ZBIEamyEF2IvamXd6uERZX3srTtYd/1lgfI7kBulYcn3/B8Lhb05mM0iecgLibupVBVSR58e7cWbQtP7oYa+RcmDcJfFp39ZbpLPJkSpE/Imb6Kv4Vo4PX72XsBcmonkXq3X4Thgxub1GIMypMp2Y3aExV3peOVrQLKrhGKv5M6YQoXP1Ftk2MWK38UMJmusYQ9kuz96XGV8LtytAZaP2w6eWkdvUg/7dGJyBH87tblAeD2pglw8u/C39eaLABitrs11HMqIA4LADwYC6pNuYbERG/dTKPYWYnXluGbxT2Yu1TWePUXcVkdFRTtvV7OqvP+PBI0XTvBiENUKaD2XrbCPs=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1542924526

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

