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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
164596

%ISIZE%
1935360

%MD5SUM%
89764c3952eedce558cb3776a7bfc5ce

%SHA256SUM%
ab6f6ed67d0d058b820910ec58265c54a44bbfa766dd6276f63158d9181d4550

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyfiUACgkQdxk/FSvb5qZqDRAAxkSdGxQOsvw2Dx7xis8otRpXpX6XD6LGWCnmCdmP+hJTZDDqSTWPLXBtA5A4nBMl9tRLG81aIeUfP7Ci3HKx7hXchvEGyGrUbwwXGXlpIretbmx0EVXgzQ0oOmK0uh8JrTUuqx7ogYUVT58+HsMkESHdgo59fbkJ2wbFRI2mvA9sAkgbSy55XfbozY6uNyLsjjaRouUiy8YPugJ5H2gX6Z4tQexLqKDEdPo/hnwlOG7VA00eIIWBHlbd7b6n4S13i8Wm6mHxXpyjHikP/FtOAJu46wTmFSlzwAYq+7PuVW6EYzprQyux1NaQWYDR3PCu7HsgUH2oTacMvpRuhC1jqxQRMFmfbcCz6jM2S8msbyHlhdA75ne+AMNDxsCvGSWtg3jctJCwbSAnwM33eCJch6Av5ae2jZ+4LGO1cqelYkRST0cqJbgz6NUW0v7azFLgexsXTMRfk5pJYZ4TGmciJKcS8r60rWrIuczY+vs8nbOZdqjhDXLhrPvgXiowD8wic+BPJuANgPnaUtkP60QgfzgnSsMBt3FjnPhqmygyOQ2j8Q13noJPaUTUtlGDSY99t+9EuupUD7Yz12KWDP7uoHIxFXxc2P5mLj3QEDWE7tiyXves0x2373KB2jwMMSwBB/rXEQoewTCbqWg+wFomKd8hO2SvbiVMZoGW7NznBQQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1538423755

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

