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

%NAME%
z3

%BASE%
z3

%VERSION%
4.13.4-2

%DESC%
High-performance theorem prover

%CSIZE%
14377476

%ISIZE%
51313563

%MD5SUM%
70eabdb6d7da474c84dcda6ef525ef0c

%SHA256SUM%
8e85e70585e0e8ff6c5a6e5ec898ce3e919ebb6fc6e48c1aeb2eb6fa425f6ebc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmeHv0UACgkQdxk/FSvb5qbvFhAAkRP2R0fbwBYGFXsLAY3a6obuc56bB8nf93nVobylIjz1w6/q+9LNAKznSYHxfzfXzfvXvS1FFauHmwcuyOluLYfoajwKU7FzgdfnzDZPPzzcZvoBAxK9VcGxDMJ8XMxNSGDry+1iecOipAqSb2wJcoplJyY8skTlVPrH8MOKHSlvcH3w68JkInrSpBVNyJqDz/TecdQoiol+AGQ5ldD4fdVjRlntHx0tW9kxakuZHRraOejKrD/uygwS3vngeEbq4I2lcOebMs5xlLG1mCEbcaxKALESsbXULqWy1Op41vSvT7nouZDxthGWXR07uYW0zEpUBWv/J2q+7h6cDDUow/QfRqF5fSHnK2LFEg5icPG9AU8kU1Adec97oWWX4qFLzaf8P5j05/SdI8W4b6uT+zO6t9GlGJocfnKmNBhcbfu6G/0g7xGZxZw1iG8/hMapbgTgcRdcyCoDfCEXKKC15u0Tk+H5YAszylAv0MH4eeoVr9UewTjQbVEYNEUuS10LXQpEB018PN5Z2tYiwqqjPPYgJJ8OPpmil+/MJePV6C7izSAQH/yq+keg4KN6EDzTl4mj4/2xX/hwtL4ia/6HAMhHzEyQ5lsiTqrHXVXEmHEyWiJkNuD3yFCs1XM6tjPqogKx+TSGT2IEWsi2DZKzfOddmSvd0i2iloV/hb6JUlo=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1736948546

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

