%FILENAME%
z3-4.8.7-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
11039204

%ISIZE%
38608171

%MD5SUM%
3b606b5febd477712d14e02326519e2a

%SHA256SUM%
54d8ab7b2bab71731b5eac4fc51214b8f50a1cb2ae9571e384a6ff81f2884f77

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YPDgACgkQdxk/FSvb5qZRXA/8CcBUjN9lXr+7Zvuiu4VfBgzQgJGlprGECtDR3QNwh25pXKzUmNxjpnd/RBncm4ArICUlcr9xnCjmk1ZbgEYXve25A/w7ir63A52fskn5C8aSu1oT9YhlikdBRdnPKz6hVbFk19cbW+4EqebCO+RPlt7rtSYR+QI3qEeInzBwS/EPaPzMX65k6MJdib5AbDbfQZoBz0XFMRub/88O6OHm2xY0QDgj5mlHicWC8s0ndEl3NIG1kUmZ7DQaY/3+QuhORvRm0EL05tafX7dNp7yf1GuvdWzOE/AJTpPlVM9sPOqU1Ul4QsoIrzXfTeUmHPX2Y2I6KgYnIciv2mVBbp/dRD6f/ptEcSYhmQTLiqRKY+W0IAlsu1b39CvBlo8SkWb/G58rm541SNkeocmNZMErMDPoLcd7ONgCoGMUpcY8zqgsUGfZ6B2uTLzr0TtMmE3qCES46HnwBFRu6drBL0uuwb8NEP2IjwtKUWEW3/etzba+RrFBeyEYOROb5PIYXJX1s6y7zLVAs4C2bM1k/HWpRN41+acvEkP5+7tfo2XBPYOFutzYRiXCJh1MtD4bzXJDcsEvlbWxynfnTqw7pOGLb7KmAVNsDqM/8T7c6eJHSAJAjBdWAaYJetJF6WtNWxiYyn+ayB4cTgMsycJ+g37LxJm3Sgw9OUM4LG+TDvLvMSU=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1574451817

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

