%FILENAME%
z3-4.11.0-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.11.0-1

%DESC%
High-performance theorem prover

%CSIZE%
11941244

%ISIZE%
42850262

%MD5SUM%
d39d9df7033118381ed1d788539506d9

%SHA256SUM%
fe15cf2575955cf5677a1965d0238e88456924038ad3330a184331cfa1e9a04f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmL/4w8ACgkQdxk/FSvb5qZL7Q/+N+5u4cuLHXuAyU2/HA1xptzGw7NIDanaj7n0kSmJ2Cq6hVN5YAkgIpXrc4HLxPVsbDKd6WD7JLY8fHwi5baHDAbvMcazA7er1tpircECNC+nGcE8Dw1nQFlaUjMBntSVQfiqN0qdNQWwfHGf5NLF3wV2Mz1G1sfMvPEKZ6eCNrM2YHiYw8CwNMhQmozaDGq2B1EoZZrQu3/XMz4LT8wpyATK9sE+pUYjiSN1PinBP0LZzV+/MWZszbbfD9IA2bu9vXdXpaOU/0KgxGg+zhwYY4LTtIoLQtcsTNu+oj6qCymPifPti2nnke1cfQI1VhcYgvPOiEFj/bQR97fBIHPfqpGgcSjpnVtTu7xAHw8mnV6KuaJT2spSTgY0WXAKr4mYT70AH4+CGckMma/74ZCu3uXJ1JMg0BV4mIRChlNqaqUqqbHUxh2gDcVSmJzBkfYQ2g4m6sxXTYNzogVv0G5mnt36Zn4m0tmrswDo5Exb2EW5+5jYnzo+bg5NDqt+P1gSLsXQ9o3x/UAIrfuSDhQsvbWzvXfGMcHuTRX6GkGzG7Vf/lVtj6Yrk6NZa6mfdrTBVBUSDM78OXuZb5ijQKpDbZwrffe5o2h1PYDt7iVtB6DQmLW3MtuBMyvbK82e/tkfyYsVjXJklpZIlVQzaTybTT+BYPoVmGQjVvs4fue80d4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1660936278

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

