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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
178932

%ISIZE%
1772779

%MD5SUM%
975dbb96ffe27196847f73f16faf7219

%SHA256SUM%
e814c979dcd14acaeb35353cfbed83ad4e9729c37e948d2a7eb2723bedefcb7d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dKYUACgkQdxk/FSvb5qbT4w//cYeTDJMDa4w+BF3XGru9kfCJ9nVbFlVCJ3g+kkFhr4AiVxIOBuV6U82FLydQgtu+DftzDbb8aa57koayMI1H2w8KiXmZVbMJ111KTQB7blX/+In9TLYf+PIhqCO32lGnloctM8UXFzzF+9vtAfFjSXBaqRFatc/ozBX9QgHVLzAfT2qU26RBjeD1+j2g2ckqirFEQEtaHoUnJBUaSoQYvcWP5Kg7MCSJtjIbfEVwBPktBopGdlAQM4BfQNZgglNrjMvrrSxXwiaEu4e8EJPMKui8ShoW21w/vqwt1f172cSEpEfuhDzk2giaUkEtHMi3qyDIS8PNYuRUR40vFSuM51SNLQ7OXZMqRsB0Jx9MYtW0sNlc7iniM5ct31qAOmQBJo5dnPOoEUIpoRNqiF+MM75AGg/Sx9cavND0fip/BCi32B+/b9LH+B8W9WON7Itw15BZpjbumFCgncA8gCYuH3yA+xjnzTU2E7jn9my4UfXCE1dxCLLZu8xzF94DsLWCOKWj51lt8zXUsSbSSL01KRgmRJswiu7L3UJueX4MuoQFu6hlRGbgN8Z4hEAbjoKJGInZfaG/gTTSZ6CitNVQk0giDSUukGNJIAaFaxGjfhmIrTSpDWuFrEerqxemYekGEwy9oJSNX386isACPrzZ+vgI9pSpcanx0n9uCwAZNyo=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1599940452

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

