%FILENAME%
python-z3-4.8.15-1-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.15-1

%DESC%
High-performance theorem prover

%CSIZE%
181288

%ISIZE%
1716816

%MD5SUM%
54e3fc4d24ac89ae70be533aab05c326

%SHA256SUM%
bcb92c50466fda12e6fdafd55c054ac326c32cfcc55f754eba309db49942dc24

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmJguh0ACgkQdxk/FSvb5qZDAg/+J92EzccaoCGoa/P0OJPXixEEV5P07ygc64c9uSd6+Jp7r/ZWzDLWyGATKmMFNsWPwbwT3xOKCM9MPy0UgnvZq+9N+SpAwMTXlYWuwr4LR7ROwKaUxYZSBVZISSdFCddNtRab6vazBzcP3uQ7i0IpAuK4RjD3UsU4CyqdRaDPl3n4GaFB0LpOivOxIkH/5VyE0IaQNWzmDaxpxvLxH+Nhb6ZyX2RcD+In2G7HWTyNtnkxhkn4ecsEETVowgE8U+W09WVwwvy4mOwuNC6PWnKDH7e7K4u9ClhZi3RDZMihQhXDjZsB0tt9hMYkImu1a31WPeQDMm9KzQYdqeOmHKgzvczX35P0nPT3Snq5j2cDXgRhiorSrAp7NgERSqt2434SU3hhyixnPtCBFyaTPYlJQNYkAqccpqqZ5HxJchpw3YAlUR5xYKwW6RcuEpms9Wmw/5sZhnz5jNnmodBXFT4WYqpX35/iYwKiAYOdG/LatitSvV55BsTVtu/oSWBObHgxbOLKk94/ALCY1C6qmmV29HuhQJOs5KtIBw8mmHVBeJPTxX76sEaB1XbKbbc1EF/cMXAHwojNRSBdpxI+ISCi5hXb3E446GfPPgCuvmU6UL5xpT7uw9h1JUbLsL+xnD66/d+2YYkim0zdq66Otf56e7XPqWQM+qRYVxUNSGbFzV4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1650505606

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

