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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
164484

%ISIZE%
1935360

%MD5SUM%
bdaa8ddc58d22b68628764e757b83bf3

%SHA256SUM%
adc73fb3545640143164c38233e629d84d54cb962839c97dc605ba36c2d23772

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyflsACgkQdxk/FSvb5qYlXw/9G1D1KC6hDw5aBigrP/QgPbsr32XemfSACKmdfU8Lth9WCcqx+f/FQ8EN3jKPxX+PzFxEdhnYNOpVcTtQ6zzRWgHRLQCOGtdH6NqujFemGV+hknfdx6+ur3+9x5el0JHyi3CZ6jrQAbOR/QgPkfL5AO0Fn9MID2T/DfuxtzUO4mMkAyI5hWzxb/oO0gAkVOntIUJ0PpdJUoaM9rghO3t7bYC5IjCMBOiE6X3uNbad/HMbgIvnRc7nuxrkOMn2DhMZm1P4d+7Q4pF6d717p7ioTzlVYmsVmdeBlLydon9P62WfNO/TpHnaDq2HPnSC27lWC1quHINcfq4K02adIEC50elBVheIgVS6qRztZ7DT4gesOMYtcF1SXJU3feguQv6+Io7/BxMOu6QJC0v1i33aMywUjTBLiBJbqluLMBjE6T0kSya6XQqT0euhGS7zr4e2csCG0JqJVGhKsmUeFoneeCbgAbd+WPifPfjYesLuFQrjAWHo6DDz8Hlf/exaMGQdmYJnzXl8JblSGnX8OX/wfyOSPHKATfW992rlzIMkxPcuHOGdd3bBPUDVcCDAPXgJq9OZudSe9S+RBNBX8rb+wI/nAtmXRgz0pcPg9LX2sHFXpi7xbfTuB1DJfKRN2+bC0Y5dS2ZrPWMitcSKOgrQFW8maSIlOd1LofT4NlIJbUc=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1538423756

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

