%FILENAME%
python-z3-solver-4.12.4-1-aarch64.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.4-1

%DESC%
High-performance theorem prover

%CSIZE%
252332

%ISIZE%
2764679

%MD5SUM%
050ad866eed987c4b67fa44f2412add5

%SHA256SUM%
e7b2dac37efd6e3091653295607f537ccee01070f9ac8d03605549f580fe0290

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmWIWysACgkQdxk/FSvb5qZQ/w//fRWt3G/wTGWlcQh9BKYYc4ZlLWsWKPmEZtzU4rU7G6aG2cntdfOp3Z/kYE5jfO0Hfzri/H/5cQkWpT75DciMbFvngprhORdKdDY8XxY2oT0MiHw8ZcOWgOVwbG2raBZpyFzjKOWFmASbF4/qmFF6l6WQZzF71IPBHeZ1MO42QzBxdiJaOt7hBiihRh6CcDS+wd/2IRWRfIEnciQdTdCr6CaDIRSP75kokENOhEgqegpyVegEfeqTSodnHPQeWhMlbNdDwhFzcV7r5cw3p0z4yKU3wnxyoXEGPcEdmegDe2ahBAr488RvpDyxyOOqCLMPUJ77AudLFeuMwi0eYbEtAa40UweUqYRuWwlSrstTB6zuuWTvGsGl0MCl2S+g05RCHQD9YCWNRZYk8L/HUzclcqJ1fPvrsm+67LtpndKUvDGyObM/5ErhuW647qTplBDuuKM/SVGaWNffLS9VBvwJn4nGrgOWZcMTPYiZ7SnwHKAT0D1NPzo/Jr8nM/Rw0DNnI3YaHICAXPYa41SNelVvlzUA6RWtPNcTXJjsUUmC3pF7Op6EzngJq9biFd1ygd0kgfoOS7DQSFzJvnzM8ii/k7iDo3w8Kdkr7UEEDEKcZQDmzkaitMvMCT3GTFBsCkaHVMRKdBl8yFfXWE0wpW6xZWLko5FzUUudDyLG7Xe/+mE=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1703434645

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

%REPLACES%
python-z3

