%FILENAME%
z3-4.6.0-1-arm.pkg.tar.xz

%NAME%
z3

%VERSION%
4.6.0-1

%DESC%
A high-performance theorem prover

%CSIZE%
10366676

%ISIZE%
37577728

%MD5SUM%
d3aa45028803a10df86fb802b3cd2f27

%SHA256SUM%
301b1de10680c1646f901ae76cf68d5a02f801853a47fd2d6a610729ace72c79

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpDv94ACgkQdxk/FSvb5qaX9A/5ATXku4C9FQV9wVgAtjSMTogYPCCgYVAN409kmA2YUVMkGKfkc2SUYfbhUWkDV+bE8P/dKLhNWoM+eclVQML8WgsiKHw5qZ0RgQNwKas9qCfoO+AnmHtiveGdLa+A0ZIw3o+ULOXS9BEKcqk21zoLwi9rQMFB5l56BRHsLl3dclk8YWeKpNJY7/3OqCV6IKsB4y+rbhM+G4auVxSBz4soAjqzAQpZhvnL1Bb3TmdFN9P/74xL/+3iHZ1xVlT+Ulp4OpQZgBPxaoWNF/94dMwyiFXXda/F3vCah3Z9gnBpSNrKuvfKJkx8JQSR+dmL/vdAE/9y0CrJAFNx1LVEyv1gMymJ0fyOPPYZkpI/3xx6Y8yBpmln+c/7r02tml9yVHCdtPlucTbka+I/dP2+TCmbwkEhNboCR+rbZ1cA8OkLxWzdIuvDjqjJLVe2eOfleoWo/Xpmk4XoIvTfgo51PphlwUrTpnuUZqh/XfI3yagTjlQw4xq7JzMtBSpMaQInSejxWDVnWbGGVi9uJYZNNrjZLLDxk48TzxChG4THFmNFovwnlwmyyFimqxUwYm2f9jF+5sCBAu3ht5/P/bGzxqYA0UvLGJHWj3ecqvGWAZ9oyvP1ixpGI/2cRCzuEDadF1IrEWxyTPGeKrrx4Hfy+ZpC1LjvO4AmSZ6cdpny4DxcFw0=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1514389404

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

