%FILENAME%
python-z3-4.8.7-1-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
174720

%ISIZE%
1736200

%MD5SUM%
298bfd04fe3559a0d6cf5559ea776a31

%SHA256SUM%
91757b2994a335613478bbba4bd26e55a76a05e43b796d28dc626005c5a13874

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YPAMACgkQdxk/FSvb5qajNBAAr41VPN19Aa6FYf7RmaN0QTDddaw4AxSOZ58fcaDonn748PQV4wsIQcCokErFJi1zaJunhEjaN2sztTI3vuBb15UbzpuBwJULD1ZN/eerAxeDKoOXEVkduJ82ft4VpB44fwaQ/zcPDkL1PX4A2AUzZCYmlfoPLUaKxnzASEr0G/dYJ9JKwMvbYCqwvjhtbpgyoxXkUITzrFQrPL1MjQrPlIWUm7k+ZsadEMzxO+DjO7k7OqpWtHwOIolgCe4D1Nq/wFQ9jd8qQJ6a/xwwbH89P17zS+ac2XQ831GFLjQlCUifRiv5GitIfODJfz00qvrMc37H1Y5Bl8eM9t2yiNP2lN9esPgCH5LJo/Wv12Jh1Olz9V/YJl5foidRfaHqPsOhRDZlTK1RcviN4Wv/Cdl3tsubOctF2xpl8oer2dqpEYWCOvH6iHcxY7ZkZjJa2plzPPmO1Mq2ZfnhbejbaYmfTW65ClwFLqFLEuSnPZV2PU9TD911JJ+4r5a5FpaJzRL7exFEB+fQKA2tX3+lwFsCi7XHX93A3YoflvUdVo/t9m8BEEkhAlxa8K79PIjtZU8Gt4dQcQNbna69ay7GL6yI0zm6NukzQNfljIlJoQsKsbfEK+jht6cbDNBZSTbgEXSBJi4gKf5fZSkrCfQU/6TbOD1Z+Jq0ysVdMEteXOohVng=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1574451810

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

