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

%NAME%
z3

%BASE%
z3

%VERSION%
4.15.1-2

%DESC%
High-performance theorem prover

%CSIZE%
14800660

%ISIZE%
52478694

%MD5SUM%
56cdfb7577ce1dde0c89016bb35c161e

%SHA256SUM%
fb34e37bf186ad0bc37df707e27b40453fe816f7f2d9fdc2f18a474674f2e6bd

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmljiGMACgkQdxk/FSvb5qYMkhAApZhUVc6zIf6vvp8AUYCRs8ft1AdJ5tHOHTRtugiEbJ8mjwn+pQtgQphFqpX1B8Rj2XoG9WdATxFW3ZoNga18yX+9Q3iomCuQ+6glzPJiMzO9wuL68vN6DVffd9PLhOTwhjVWUAhCd+zghreQXDTo4QOgeIG0PkhM+3HVFm50vqNMSifDw052X3w9MNKG90lCc/LngRqpbcjktb+K1svtJ4xZoFpBG3Ws1N8bHqT7SWVfdoiEL/bXY63Mg8MIEjJD9b5BOki/9ISyFImDORD/6osAWwLbsNXy4cw5HGBxi/1k3ZwaCQbGG4BoOSZbBGygrH9h5IXJiVypZbKLTWgZ2JbMLKufh15S0Lk1YscUlvFvdOndsxx8BENmPe7TCy6foa3gbhBSxKvh5qpQXtXjOE3+ydWf2Ua5ESzmar6S98rmC2Td2J+lXQQZ5wt8XLjcvGwn/hT3Vv9t1S0xOcQFImC9SuE+2CGgekNpU012nqdVQnC8SHQ7oHj13+Vt/7lWRAVcprnUqUerao4uqttAuxpn/Et/pcXOOEiXF1brT6jGpZ9gw7EQv3lqsh65L7wTdB1eUtBfHDo4DJZ5gtP6KHo4F+GQdYzZ7nLihoiOG0cL/IPTGjd64gzy9CbJYycFqgm/BKDljOClivQeLhau5NOOgV2bpz4UrB6p97bcUGM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1768129797

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

