%FILENAME%
z3-4.7.1-3-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
10317804

%ISIZE%
36489216

%MD5SUM%
bfe2b174afcb297f5a463bf8cbbd8d93

%SHA256SUM%
82d1abe7f9a44125974fc3dacbceafd038b82a477c7b6d48d1622a13f8ed9771

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyflYACgkQdxk/FSvb5qaCZQ//UtFiziKXNROHgOWBwaV1ds9APxF7n8soAqhtAZJ9+zWJQ2uxG0lhKRwfmnVv3tbXH0CEJ7yPd0F0xqOzL6P7gFHyrj28kPmREUrERUudLiTXQWn0w2E8dpYvfrI3bASF9wEdDB0I3C7O4dqFIGZmt7FrVuetjbHkQflh1sSYT0Bah47XTr7C9OMF8oqQhSkeSBiPdKxJVSaIoJCSyr+pnJ7/+sEz2KsfZXfBJT70xIjpH2Fbs3llTEN5yp4D+FQq7MePph0rZ8sCAMQBU1UimQe1g+hM0cqNuNDtt5SxLw2eUPccIRDNTRaLPEQIfPTj8q6Jme5D1hP7UJdBVRxjM8yxV+Bl4RlcObdryw/QwynnTNpzZzSPLrtG8tyTg8Lam6tBgkAHDw5w3fErS7wD1IyLZtG1Hcfff5eGLGASp5uBbMP7xTV8qv8jGmqrhieCpf42Kr9cfbnUfrZXCiIrb8brgq8EpQzx/9rVnaHHVtOzQAGcZOINIpG36hGYV4VXC/prOzaJaFDI1TK7+QQSLTUGl3RDmD6+QNexJ/3/4ox5rUikB2IJqquqIMixwwi/c4K72UgirNEg/0z04LhiqemYtj2CipRPhvShdoom42gJWJrrB8LYpDrxIND5O+FRejnLpGNu4nQVeEm4W0nge7lnhsKaWMUdetJ1wboq/7o=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1538423758

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

