%FILENAME%
z3-4.8.14-1-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
12468632

%ISIZE%
49265858

%MD5SUM%
f68b372848c4f48722123b2747b705ba

%SHA256SUM%
e0413134787ae12f21150e34f304b9ea2963de132fd219b91a49eb9aa19aac9a

%PGPSIG%
iQIyBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeNTwACgkQdxk/FSvb5qbdKg/3SjIuaoUMPRKp4u1oYJWkntXEtDpiRT1Th6QJFeEnjgijacFcCKP4Uakzzl9ZVXTCJweG495SX4guAIXoBLr1lnIE+fOp5Qo3CrowYdx2ShuZ095cC41m+e4QyGfMd9PK6koK0Iijj2oDWzFPQxm1pDAJA7Y6TmTHwqnEOzbGhQyYK+phYcQuVKxI7PWYrlaHKW+u3ABCh67cvA70jmNiHL/LZ/wM0ULPqwgabm++XapS8rFogiAnQMKceyOJP44VVnvR5A9hE3/lkmy9MKlosLrNeTR7LlYo2d2Bo/J4IlFQapC8DZ2Zcr4beuC590wLiFU7Z9Ux1Pe3iDSAvP4CRMKCH7/2/rDlar0ObhWo7CGiUfnX1aZb+NWYhuffrXigcXb4k6f4JXQekryQJ5SzOlRH4+on1d43/eorB2Tciaaxm5ZskcRN9bg0FDbX4UM0JMXPzFZv0aq5o2jWThiCVxfIqwN18pZq3peMMazqgw7St4wPy6UtjgL44672QjnUs8UtHRpTSQJ3z93IEL2D1rhPN+isJ3DI7LwKnMHkLB6HQQcKDYnKjHe/6vtanViLnuFb9AX7wfnuAd42TYkted6WmHbmxdobNXC4PEtq+fIixIQJ0hunkfykPHgqBqAObQkKmEszWaUT2zpDeY8+W7elNVX2nKZ1t0XLes//mw==

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1641952198

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

