%FILENAME%
z3-4.8.6-2-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.6-2

%DESC%
High-performance theorem prover

%CSIZE%
10920440

%ISIZE%
38492682

%MD5SUM%
75ca421b3cba6f33db04a1e251eae60e

%SHA256SUM%
8850e153e500898ef9f96d990b2d94b9676910d794ba5fa9e191a1cb438ddf2c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3OeyYACgkQdxk/FSvb5qZP5g/9FUJdsFHMzipsWqDfxnK8rXKPRy1uPG492RF/tcbkFgJuC4T65qU2qnzpmeWOXGWmN8VAZUkuWbIExfJQxyM1m3nWvuOYrGEUdEO1d+MEbqqSIxXL9S/T8wNfK5jyt0JtfW5eelIhzpFfPsqErXLq7BYyp8dxmhn67cU1Rl3fd9QmeCi5HRH7hXZLFKZmpeFRqYkdBxuXIzHzAagGNes16Tj3ou+a8QCE9aUPind2EwvdyHSLgvKtCzpR5cVM9zXJIBgK77WuEyTm5RszXblwNTO3iDMUYWtmU+8IUooErfh9WHyExMtcOJdr7NqXfWQPwR9Lxg1FrGLOAupyYY5nqu4TgtOAHI9Rh8dm79w9quqjDLeX5ghRrlNVlGVeQHvaVOoIAqYsey+PQZ6Kp+ociBXw6yjpyijCFNZg0AgnqNsUIttTdV7F+aaesktPweiGqp0wQhoLl8sN9WcfwU5f6p0SJ0o2CMioA3acD8C8suDjd/XQBIHtm1p0M+74G4PJiBuJTP1kY1kaXNFjI1ZRCVWk/9Y3SKEiMo/G4yIkB4SJ+p8ueGIvTjWJCaXRWDVE3hMVDMhZXn36jLBTV//cwV3tHxRLs9R3gzHxZYOKzd5GiDqZIQjLyHcUh7M3lisAWNNCE3gIpkXCQ4qMbe5RceXhxK8IJ1A40uTXdfiTxcM=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1573812633

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

