%FILENAME%
python-z3-4.7.1-3-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
172248

%ISIZE%
1721344

%MD5SUM%
cabd5e268c3bff656bd308833d95a2b4

%SHA256SUM%
bab28648e16119df0ff72b5180a1f372cccfbef981f41db7752c8eaf5aa45eb6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyflsACgkQdxk/FSvb5qazmw/+OpUVLdsWxa35tRPuv+z619SMgTzEN5kveR3xY8Y3b28o9yAmL0CQTHJqFDa7VNRGAIQznIPcITFr6+fZ2827Ehuit2Zow8wIzvy3zubJT0zKyw96YzJlQkGnCACl4iR5c+GCN+AZVCnryS2LP+XBlzuBdIDLJn3p7gANhkeNly0VH7NtcD7RAeZBhQcr2N3mqCv6h8px3eHFMDapFOYz3td6O5PfaU9PBYvCgDDqkKb0+qIprC3SWsCS7CdQIzzoGB5T/otaSwrFTfZEnnS9lYhFD3XTbpP1ZR8+PWQwGStVyg7qf5hvw/hVI7Qozd1FU1/lpRq1PjA1MuXQ3EreE4WKazmtSmVysk71idQ0+BpIe8DAXQxQRsAvuYz+WqTiQTIShbp7QdoBbBVa0u7/jaP4CbD381cByY7SysT2BvamnAeDZLM4jMpkoVnj+Edg1wzKdtEIDgCbMafPcOtO8Cx91BDn1q9VIT42GoX0D45AuuRbBFzZCA2/exv0X0mPXlnAy7w7N73NlITHlncbxKtFv/GxG7+i6TAHMs/hzUJU04X0rfNUlIzmrhCJyl5NpQeqlnzJ84vMorYLS5sgA9l9PGkyogCcFcnaLlMoOiDflZwKiUZOlkp8LlalFz+T/ijAK6s4uw/VkZ7smPizCrEwLxb4arvHyJ/SzPQNgtk=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1538423756

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

