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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.17-1

%DESC%
High-performance theorem prover

%CSIZE%
182404

%ISIZE%
1722703

%MD5SUM%
90b7d1d5f6f6793c54523fe61a49ffcb

%SHA256SUM%
7ed9f944c362eeb19f857064567a6e469cb5ea97256587dec4539a9d120dbefe

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmJ9kFoACgkQdxk/FSvb5qZOTRAAqnqdtAcnIuBAr4VkIbvVp8lmjBo7HrPCRS0zeNWt5hEGyKL9HkLui7tfrawRomhZtFe5cSwQDCzIdLKUwW106ehtWTX7C02WVCRol/7Qd3WJhCCYzzpKhw+Gqv7d1Ny39OJdmjnHUVTDsA97mLAB3DXgHd2KDsdg3QEwNzdrnaOjH9q6V1G/vffyEckf7uLYog598IgYGml1ToYW58t2fbF7Wo2/PfXxOs2STGtAiB+tkkiA5z868f8LhATxy/6GDndiKYkvSQqPn90C412HjpJSfIi6c4QsGJVmHXz5LtgLPHEEXhAkk0eGUc5nF6iooeDetJnEPqorfRJOalPNUtsISnKvLZbHBw4r4Ha7ZTibmGsTAHRWCSYKeloS4i3OiC9bd7pN7GjsgVf1lSoLedTcWFHTCrXxSaOhSPRC+gn/4VNMh7f3/CAs9LzCeaSuL83swzQEhjo79lz7YWnGKComG2MvMCYrqI8lVpb6B6zHRT10DqDD+Qmivqds3JecMCdq9ApL20G8Kg2kwiYMySXQke2T1IRg7+IpjCZrCeCWPyp1gcjX0kdTR5yyZ9lonI1IJnfyLeFKF0oCzv//rn43Dmy2pbD8dYo3wKSkXfKeRYkgXZNikNDZQ674zkEUoGS1m7kVEoBaU1uILqZAsHudwucDcVNCvgEV3kx4DrU=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1652395507

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

