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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.9.0-1

%DESC%
High-performance theorem prover

%CSIZE%
184160

%ISIZE%
1740986

%MD5SUM%
f43ab38d8192b4421951539f55df9108

%SHA256SUM%
bca7dfd253fed4fe092f9c7d767ab919477861d0427944a8d07861ef3ec93986

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLcRI8ACgkQdxk/FSvb5qa5URAAlCClXLV9DCDBnb11mIUnE149lf1t80bJ5G+CQGGciYHzXqCTuYVeM50GZlNgbReMRU43f0FR7jvmalZ360QQSc18ufzBvh6YDULOb3eGDo6nF8QNEdXYc8fm176JKlLxPrvdsitLpZwAG1eGhjpIMvV0FaVjYSdcm3uzXxS7NKcxQVp6qINDJnoiRCenvMrDFlGPu5sxhl6gB5S8Gp1Z6IYRnlI5jA7siwuLJsb9EWoOj/F0J24CzauMh0kOL7kjQuiabruxlRsZU/ThwIxdwD8WrfihG+G3Vpee7GIOe5HD5kGKb7XYy1ImcT9/gHb6a6zGRLtiP2CLKhx4+dR1H6WIlM6aIIEsP3JRHYQMpFWvnLwmdklSjGtmkvGpvfbcBI2TWGlS+VYThGvOKdns7/nm6+0F4vhupjb26eAvM1ebEBeMsXNTlWQqCiwuxG9CkHUc/qoux8urQiAwGFPz30uu+vvlwEXDrCWFX5MFMB1NTH3fKxSJNOgfZnp6t5lqjsDgY0+wVzCYFgtcBcGQEU40abW/UIFJVWXec/k/aFsBB6RpXHuwtMbSD8cCQ8IUpgSaoZ5zrwjEfnXOYTVY6JvjsJFkyDmWY4kaBd59ohzLG4qUXjJVkg4n9tsGX8rdTVsRbq02PYmY95WlBPlEK1/kaxnDnHC+ABj9xfqHtPI=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1658601910

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

