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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.1-1

%DESC%
High-performance theorem prover

%CSIZE%
172696

%ISIZE%
1729536

%MD5SUM%
3dc260adccb966fc926e4a29fc1e7215

%SHA256SUM%
fb38b683197c6b676e49c2f15aba04f4a4b9878d459068130f2376c7ae97c5d1

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvh+1AACgkQdxk/FSvb5qYw1BAAhG57tLNnKLpTgprYDAoWxO2E3n8zjWzCyyQlf90YfgxJNpm9c1J7NJij/ggO9uoBlvXNuRgLntVkQy2yRhy8f4/oKUg8/Z77oJ05nbbCxf4dbP+C4CvKV+3lwdoMTQfRAjEIkCm+M3lLbDHsyyq4zbEXVwh8nXeM3N3LpdZd3zU7MPKl6isJr8IKe0Oq4roUDKMayiPT9jBcqy1LVrhiaiq3F14Rnq9nIj3TTsiSrvfgLiPt4Ba1rtEDCsyUzk+yv8ZSFPkx3QQFhDTEHjYpLD4mZGFaZQrxTrVpgsiVEnh37xn2fToRxXs93BdgWqlRO7MZS8C8BwAK4diSNTwzu/aXKjS3mgKhgExkMk+fo5Khbxn6FCtsRMQTTLddIJ1SpcQy76OkgY2HcX3cJmlAk4fdBluDAZkv5XJSp6SH32F0OIE5OUjvgy41JUtLVvbKK3lhm6cXrNVBNuwKCq0HBh7Je0nR/byfVsF2hSudCrZdnyjHYynbM/0ZJPqkcFFEhy8PUYdmYuRnnQU6u8lYtXyKuhSmcYE2ZGysym3U/iN/Ehy5Ihhp+t/HeTXAkdgLHHNaRn0ZmcdqVRQevZndOswcH9yiHwRLiBo7q/Qvha0sqFBAzZ6mAhtPlUSkm6/N/y2DiZrThHxkSVv8cPd2sLoL3wI2xtB+lq/uWdyqMGM=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1541536381

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

