%FILENAME%
python-z3-4.8.9-2-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
178964

%ISIZE%
1772779

%MD5SUM%
34da3674e8e161a89547aacaceddb57a

%SHA256SUM%
52510b0ce719ed972c205f6b9cccf15ae5aed0b47c0bb81cd9d9ddf5b4183d22

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dT1UACgkQdxk/FSvb5qaHOg//ZdbpDW1Bt2iBuyNK7n7SQVNmMRGj8MhsElfZ4TEtpjMSEI3Yt5YhbJg+ru8nx+/wj2a4wrK8EQKbqz99REKlWc4L2gU1p0gMT4wW5i1UU5fKd78jvAMnpjvNUjlt/kcWIlH8MS5+QMOm2SXI8ajET6Ct5Ev6JWl8WtVxkgifZ0GH3sL/yXHMZbDpXaaCXxD/EWQAYyGyIDulDrIOYraEWcfaN38o30HpI5bxOsVYVFo/rE3DIySaJ7AsPuyPkD7bXmdo1sNbLybiFqw2hX5PqmSim7z5UFWzW8aHOIND8NfB4XxZjkXWAxiaLLPWeSW4T7Abr7kSQdcWPQqcEUqhw4phosanLlk6EFYMGYD8uqV8kN8vHShlGQejMdNE9Cgyx1k7ulT/kp5daGB1tCFF2gl7BekHE1KxFKGsco4EZGR1sXoqE7dqC95zaVYHbmMcW7cULyThNqIBrDBDPTFOTqLcxkhaDr2czThEUJXouwiYsHqWigh0jghBZe4vVympyA7DyACuTB4m/aPEfvqFaSCp5CHk0TS0HwaoyDsOx8QnLEjYjXLw1W7d6uXjfvBMSs+DP5Ymh5vdQxZBLDD198nmu8oUgDE8mwaC3MnxDwOPSdF5cf1QbBLMI1kyuXIS9Uo0LNNGKDCmUPjEMaqdKJ1O7PBARec26HZ/QTL1Ug8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1599950451

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

