%FILENAME%
python-z3-4.7.1-2-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
172244

%ISIZE%
1721344

%MD5SUM%
ac86a37ff762cf901fc67bb94267cb90

%SHA256SUM%
6ceb8871271a2d47d43d2c3a8e3d4847d822f24e40c01001cc8ac5285aea9791

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltpnDAACgkQdxk/FSvb5qa+Pg/+Js6eDQzBMsu/URePWKMIJkyELy2KXgBfUfzBXv5RbCIH4Q4VaqW619G68V3JqGrbjvaJf0KTHnvV6Roe9y4eBmTsY7CCsNg0UOidv0ZG2AGA/HlG+3/ulS63AzhOtr9PNaxgrns+Fr9gT5v2FHu1jLiGo24tFIvHQSJ+3FfPUoWEBt6dEkZ9AaSvCpVpCqj1NEYMy9TRlJJOcBoMgNqxsM+lNu34/zfhv9rmqOMzh9PLSwuVEWAaoEEXyhhaHlB4/X8OYKX60IVv85Rf2HkFUIkSLHdaIdJiI0rfH8OnlOdLMREnlbWqzVJPhofUiRxyKFsinZ2o0LoeYBc7mKI1ll9ezXRJ3kUJCm3Y8nx8dYXEaq4fEU9e9MJLfbuk4ygttl823FS7BIZBv8nH9tS322jm8TcssatpxGW8xDkPzz2CusayYrQwm0Ewwf/Y8vvg+N6KNLtmY9bfrU1kpABtd5FweUMu4FmmuHLcClc6Fiy+ZNzXsWtP/KnEUu2BodAQmSbJyEz60LiyzrvB4/8ROXzcnblkVRY82QiZwdNBHwP6N3cEdKNgCiBD7rpbYFAjHxNMCrGV6MdKr7x/eFY2QMZ+STAgN44DMh7cymwtqbs8XeiwPd1kbXyMRJdY1VHQ5hErUpaM+tQL3v7SN21zc6EKYF/G8Z38YOp9PPU095M=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1533647397

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

