%FILENAME%
python-z3-4.8.3-1-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
173316

%ISIZE%
1735680

%MD5SUM%
232aeff2f410592d3737ec6125ab2392

%SHA256SUM%
40dfbe26836d6d5c08e7d122e29ba7ad36874b65c6443700dc84ef43eaf5ff73

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KooACgkQdxk/FSvb5qaBHw//SsfCyw0MHCFRUj31+klUMqD8CD+T5SObA1C7iz4D4+DxFU9+s7xN4l5LQI+wPwdDwoKOZ/1gIaMHYP8WLgcmCaoxMZ/Y3veBkNS/vehYILEohPuv4X+w3AAP3rJLF5ZpJB9B+SfXhRaVAL8sHfVH5BjwdOec4kNY41O23YxtJMLyc2OqobVj3+knY+ut0yJq3KfwqCUleHsqCHG78G/I7WWsKVrr2wpVcMfiA9+AN24Cjb8gNVtwisfj/FD3uPaR0n9Twm5lc836aH/lqdnZrDO0AiQhau9uHLVWDtM5KjHOuTIYrqoSfPWS07w1wzHfE1yo3SOBHy4P+pE+q54ZGrRiU97Jb1G3J0FJg1u11ywWK/5Zul+m2intM+CJ294rd+TDBDmeCg/OjgiViVewNjw/jD1nBVT2VBv0mFlH95wuwIogolCoKO0+2UKvosOrfQ7wvEogMXD1o6nYSFIHcyaJ7tscgWHcEK4bw+Y6gGpezOYG/0vAEoWzXHDpgQj3UpXH6Xolu04x+J0P+WRRFVP15Djp+8V/srnhqxFmok8HddFFJvS+vkwjuTZC9Z8f2JzfNTzKYk90/hCHygrSdonwBajjMxcajV18W6lVu2FwgI9WGsPOLPBR82mYeKYJW5DaUPf5I91UgVlM81vWZhp3zOzybkdhd1ma2gfTBjQ=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1542924465

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

