%FILENAME%
python-z3-solver-4.12.1-2-aarch64.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.1-2

%DESC%
High-performance theorem prover

%CSIZE%
248372

%ISIZE%
2705684

%MD5SUM%
2b4d7eb81c0e7f06c760b33c8bab15c5

%SHA256SUM%
3305066e02a005b45305d4ddb55946a23a2fe82ad35b048697b56a4e431e588b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRWMWsACgkQdxk/FSvb5qaEEA//alW9kPJKbAe8RK8THGBNpyDz3CXUJd7gbcf4B+BMX6lLQIC6JCnBEoxlY2Iyhr+d/kF+L5f29iDxaCK99ZKkgipBIhXkFfHyEVyt+Fy662ycb4ddgtqNBt6AXzmBDXzchKGCWBo5cflBz/7gYITSRnZLC2FitvbIz6tUk+ywDhTzlIzsxIBdC26Zdcn4LmQ2cAxmcTvx96M0xnH3UrnIymOFiO/O8Q9JddmeoU5pecgf2wUWN1NJtxf+Vkq4fIfwF+bbptIIsyNv1j5mlmq9tD+KbZSx9xky29L7o1kGSPHFsY9fj7BCCvge3hUFABXOInX6IrdscXMolx+7duDXHAkheaASMmji0C1Xt5KEzU5URGdHt1pQKv7ORJjliLMyx+NErt8ukqcPV7El8/Z4aUf3Qde0BMOUkgD1TELfQEYWglfl0ONS+8A5Q5Q/SjeH9dfKY4QROxpIDvQ/ixYgvP0MivIk8nWMt+DWZ3xG3H4JrBpUVXT0QI/ndP5xiOpMpQ+VcMZGS/RkjZ0hTmUPzj/4a+Gcr2hdbiAzWVW+Cps0SvZC4Oj41qOkuC17YjnMe1+jcEQwFHsZT7lvmMMaB8NQPrC6hnvEAKdVKYu/k+I1TeJ1Cg5vX99VZwrkkN62HSpDmZm368NHhXx3EE4r/JrVNYoczA8RN/VPnVXEWsI=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1683369953

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

%REPLACES%
python-z3

