%FILENAME%
python2-z3-4.7.1-2-armv7h.pkg.tar.xz

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
164460

%ISIZE%
1935360

%MD5SUM%
5ceee9d0f498a1ba1cc26b188265b78a

%SHA256SUM%
ada69b021eb40a3455cbc7ebcae815f9e26484286090f9064171ed2f697db717

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltpnDEACgkQdxk/FSvb5qZ98Q//UHEF8NwDWWX9VqkrdISs4j4Riv9IYNMqxs3/wDezrZGSzHW62GZlv/Hzm6WVQnVj6LSY1N5Ol/RxnLPRlHpFIPb+vOsBO6b4hqHpfZxdddXbGqY3ntmgryz09atjfZAwquF8gdpnW1GGkeQLfhX4GT72kQUpkjnYAikTXV1GNuo9MbYGIxtEdwiJl5Kb1QDuTRF6c07EOJSKlbNT/L45vqChwok2GL8pTVpZYuOC+K1/awaA7MkQBSBh5vF0vvD8tUDDgFyRiY1xPaYsmvGmIBRKVvxXJvFMPFBZJpPh7gBlXypO6lrAYxiYQyza9+IWyib43QXiYZfCop89l5kTBXStDt5vOMKUjWQUaxxUBNkQxBa3LZ6fr2sDONu/cdTvvxtZhZ8B8+rs6b25nO8lDNPOA1W9yuKgz1/oazNJdPDmLvv7BbhR89zBQQ3zHxAmwqCDhIoj6V6MROpN8cuyrhk/M1lc5HvvWKN2NoQnONBDRuabaMHZkbXQMpiT0yshW840BxoH7rQhbmUhpqyMhobSas2vQZG/J8Fuuflw/+MdejShSywBkhtdRf/7E7u9Gx1fk6ChT7CCGeLPIi3PlBocnIXo9W9b1R35O1Qu1xRBpDOl/qSEACxUJLuqeKSjrxhsakbuhgm1lc4xYT6cX7I6Mc1PrWb2fV4mtKbZ4fs=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1533647397

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

