%FILENAME%
z3-4.7.1-2-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
11519736

%ISIZE%
45710336

%MD5SUM%
51570e930b8ad54281084ddacd8c21eb

%SHA256SUM%
7a6002a950e6f6551ba23feda5370839d06694e4f6cc48ae3b36dce85823315e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltpzOkACgkQdxk/FSvb5qZ7sA/+IXHBbQoPKCDl7XOphHD9o0qc6T9mjXl5/MRBW/x7BfGcvdpD9yXsc14cQl/BIoL2tlDiARTVNeGsVscBXtAH4ClXHKLORMJaubNJ4YjidfjAo5UgZgSpTCpiHBLqrLjdEgt8zbJFXx0vfzvPatLJoETX5aMquGuzeeUULDiDQ1aTJ/bGD5vFeREs6S7ZZTLf2NBFyOZIv/p5oEyZrkMZmSHMFeukiOLVpURD1t57qWHAtpsuz2MaAknAZiF04GZt1FYsS6Cre7obTci4oUWTFPRKgm6l+l7G2UrcIGHNEoerluQhSZOTDqhm/cOnSFKRZ27IEZqxE3yOjak3cDBQzm04J7LyRUzQ1xj1bcjnQfCUWiVxFtaNjab9QUz0tAWqVFEImIu6W8z7YA8Na6M38TOXu3RQjBCRymZ6dz6oA4YxeybqMvr7tbyeMyOVaOWqmEbsYU+rjJ+tx4s5xojbBQmdsEWk2aLHm0NEUs1iwa2vMk7f4jZj3/vQUzjxxBBMS6QQsLWvxH/wjo2Mpcs77RFUzKX8R0Y+xlIIQIv6Qh7YqYZfszRrdIomCyXVQnZB9MWs9l7plg0IfWNmCN6tJxkYV7TM2iD7P20nIwkpJfVoC275W8fK7z3SqEZjOpDNZ8xL4gSkmGljTrIAAmfQQ+lh12Ne2W+tmCQHfABlFH8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1533660078

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

