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

%NAME%
z3

%BASE%
z3

%VERSION%
4.15.1-1

%DESC%
High-performance theorem prover

%CSIZE%
14679420

%ISIZE%
52245231

%MD5SUM%
cfb97a12cfa2c84d30d72e335f429416

%SHA256SUM%
0b7454ac5005e569fdc341a81e006fc9bb755630434e4105324b6b92797f3c25

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhOt/QACgkQdxk/FSvb5qaTrQ/9H3P8Q/2zZ9VYB04tRmthGJLxWAPGIFQbwj2a/kv+l+9tFeBx4zekclEy4xhDytEI65FLJeccrRFdMZv7pXTdVBeZLE9lWniEpkhr3SpKlKIfR38Oh3rsxaZGbZIGDvez0xDnKfKFo4E5qeq5IAk+vMAcsqSoyQpCFWuNKD7Sswc6drIUeLISK85WuncR39nPKQ/FzG6gBreKes7bm+kG3e7p1GcrW6LqOLcgYT7WNzcF5gGTaqGTGoVQ97cf88vjmpE+jZaxayTWG8T3vvEQzowAGNLpm0iK4Ex6hPpHkKsQ7FlpmLUrS6AiJFDx+tvyJvByAkyPdeUVwcjF2Aorch+tVqQvRxCt6rImhrJC8OpCoytuPctyy1GQCRIANxgRNMVrNg7Y3qitXcaWnTEdk1Z4zPgIJXk/RkOElCh0dZ/kxTJ4q2Uzm1W962rJ4c4mFMPU7GR5TL8Y5ceAKuYgDpYkWrYuPrH8qqDntqhO5/nD+xJ31tHK4bZ2qQ40uDBadoolz71FgqrawgDPU6rQUURukuzmsUSOF24qQXjJzUIqykEtGz+NwjS2wPEC8l55y3JWoQ5qPozeAWNsw56+rYrgTHRjllVeiEoqE+wsIzJgBiAVkGdOIpYXOzyGpiPZwcOz//P4EPVWn0FdUZK5/E58zV0S9do9bMlkEWgX9sI=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1749988515

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

