%FILENAME%
python-z3-solver-4.13.0-2-armv7h.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.13.0-2

%DESC%
High-performance theorem prover

%CSIZE%
241972

%ISIZE%
2605111

%MD5SUM%
d827fe2a112b15b286d3b6e5650ff18f

%SHA256SUM%
5eadaaa5e6ba094b40089ffb89d48928e65d630d2f0ac8ba92c1be9bb4bc3038

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYw+K0ACgkQdxk/FSvb5qZk4w/6Ak/58jMdFJzgaC1qt6hnQNqjuowbT0/3LciliXYf4BTlG6ubWtkcU06fWVT/k1tC4vQ5xHIJBeZgPzjfM0lO10xvfPYS919vLf6sCSOSlVtwnOgsb379tTOlrSXdYVRnhzxJUZ61XPLlZ8SewHuQSxwZC5681K7ZktAzJb0FpuX+SQo3nN2YRfzcV3YmP/5xXjsCcvFcPJks24S9WuhlKpUG7yrPSXtVhT3O2DVoT3e8OIR7alS/Hvi25CcaJKAR88Y3tXhs8/clSsx2+UctZTL2tws3T3OwiH4eptShTusm21CuO+YDzzzBvDfnkm5srqg667G71Ph//BMmnPcdsvwV74mFJpFo4gX5XNx3ZKzb27YKRHZsikjrdMavZuPMXdabyQyPrSRR4W4KVokQXPWx82sjrfLXk0SZqPLvykjlr694/df18M/x/w+vgLkO4Xc8n5MDyWd7BuVrvVJ7zfhzsVEFB4raZWe8ZYdY3Pr/raysMer/0EGfVprWZ8a2agaOEtVXU1075pVm5D5xbCINzp2xH+ej22ZSPxxCiX6r16FF/5IsUR/tGkXn2J148Uv19CO2RnZ7btaxEumpUf1PI7MFiA6lOtT6O6mzYevwZ8OTXYU1Wa1Ub/+mC09iFOUXubvBsUA8SpGurPyPUbFcb6vvXzj+vMOx0bXuHRk=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1714484554

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

%REPLACES%
python-z3

