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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.13-1

%DESC%
High-performance theorem prover

%CSIZE%
175508

%ISIZE%
1786169

%MD5SUM%
493095b25d84502320a527d3f2289b5e

%SHA256SUM%
eb520d2afedda0321bc6d123f2093ce8266ccf6d5c8aee5ef76c1b5389b67257

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmGc+ckACgkQdxk/FSvb5qZj9BAArzSv6OPG9o3WoKQ6az2/bKncc/TmdEQf2/CkX8Df+4UYWlf/ytkh/lmPqOUryZ4hqyDcraQneu5tYt8mzuM09PH4iV8EzMvvInU3YWujsHH9pRw8+xHDV2JwG9gpAh7L0F9N9lagAZmwe7Rw0Hp+WnqGc5AP+S8DaPm4AkysjVGtz4JgG4GEXuJFiiG6aoUKVo3m5oVo3sEMJj1v8o3WxFG+A/YiwYIy6HLc//f0WzG3P9TGPKgwqpV7OnU9//XJEfD57MDrkaFuKG0bIwUxC3OQ1QaGjq8cCydgPzXq8B2pgJHH2XoundyCep12tXRf+kKrrvXfhsh6SVkRc25A8UK3D/4ExIxeXCR5O6Vx/Ib8e+wawJAqoWn5IeXa1JZoTpi8DTgjfAcrL68Im3Wob3Bvyw/hqMSaxHo6bYIGTMWY6m5u/QZHYSsNzAxWvfAKg1upZLPEcfMJ5ia1fVIDR/FVqGseN8lbB3+3SN2bz/03xQcvGYrL/9wg4is4vND7p/M0E2DKDUx0bZ9G57vdu2ehrixO1WErazIy8u+53d/A0MBlZxlOmUhWgv4cDlVZdqQeYESO/brjIFUl5jYcir0bmmaTQeV/vDmpZ14UG1XeiP1SV0s/ipKyOLgIcjXs+y4hs2aQckdkQLB6wszBce8AhWrv6R5hzzLLn6WOrrA=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1637676827

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

