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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
174604

%ISIZE%
1736200

%MD5SUM%
53dd47d3b649de94608dfa79821cd12b

%SHA256SUM%
3a183868b07b7ecb8016c03babbd38a29804a8f52b3af81fc096b5e4237b5a73

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YNegACgkQdxk/FSvb5qY0+xAAyGZZalNlreXxI5Tc5VwPDPclOatIir3H9SPsdhF9Aqnd2PqHy7YWrtNPxCDQzIPCF5l4vO6r+lGu+7nKKsnG6tTGkqauPIK0HbIc12Z/VIKp/LzGNy1Jia3B6eOCVcD4IVVzAiLpyEjVPutD0ftkgq7mdSKu0dj5KVEsQZET/n3UxA2Hy937aM+PKtD0M+Rn8OHLBAW6F/PLc235wOeHl1uq5UlS/PcNp+VCNnWLygKjxazb0KOdeMzf6ayiOsgtJLNp6G/A636qNQpD31e8AapR4Q3xExwGaUZn23p9m2sq9dKbyrEvPFmFM6xaeV6QaEOx4WOGYhcJgIxddwlGow6knqnP0a5p76Sq6Q2Msz5wFG/vORDDBLgB48Z5xmqWDMU1d5u7I/5dSEBCX5TPEtaazRkOq5gA63xvl5Sp8z6B/4RBNsaDqBd/Y53Fy2UB7Wc3KKt99ez3RAgDRb0S2jJYWLePTOLIYqEBYiV9qgvU5fhwBTJ/hpe7J066ni9zm0kzifvkQrSLiOCKAmDpK1fDFdG6jhOlailgjECQTuHnSZf7o3VBk0IDnV0VpDunzs2ir/CykIrhg1b1qSt6/mtsd07kDaARBAzTJhgSbztJ4bwr9WrjChdZIe7mFx7XP5XnpkNmdPPkIueCzymhFjQ7dTyRLf13R+fgK5w1oXU=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1574449234

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

