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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
173624

%ISIZE%
1810432

%MD5SUM%
499e0c7a8d76c3e18fe145799bc8448e

%SHA256SUM%
181bbba0de6ce27150e9c4b6786c5c62ff0543452ece1ac6910f9dc2cf954f06

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4W14ACgkQdxk/FSvb5qYkCw//YPqAN/PgGjOSTrmlR1TRQmuYraoSnoBfm0pnFNczfDcATvmMAs9DoPwl3SAL4oePmPHni6/rbt3NguK24tnh1T7yr1QdskmV5lRGZu0DSEy+PG2vWssWkgzQ0h5FmgI1KqE5/Zv/O5Opt47tQgp7R7pdbrOfofDYDHkUdA0fWhy3bNQHc3as31ypOYAASBt68iNL0MwFuCkBF84lglR5Illb8dCVuGS55ggtVNyXqFmHZru5M7ZVKrU5DlOOhicPyZzKFt7I85xDVFLCMSoIFAMIzw320Ck8hxn958eWCIK1AMZAKetg+g02WvX1Icbv6p3jx3O3akoj2jaC69WMp5YzASg3hWoDD0xnzlHMYvNet+iKyZQeyak2eJHfVSuvGDJ9IZabmLc6GBn0CKG3UP00y6lz+B9M4iSjl55dyeQ6ocTQDyu4hmAoYukkbEpn6QvdcYTDbVOU0Ze+x2tfqhm5zBbwxH6zY8HRCAIRhQo52TuFP3Q6H6oph1618QrQSks7bPRFfusHDzgY5acFmtj0kvEB5asrbD3jzJ2W/F1Kit7BFh7m6+CvY1EEan1MCR3O5Ux0w5dxvlZGr8ldWl8YSxAa98RU5yeZxyKUW7oUMWOa7OYHjCupmrrwcq2jlC8WFc222k5AfScm8mIU0wTud2Xo3qKQuL7xSx5ly54=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1559779948

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

