%FILENAME%
python-z3-solver-4.15.1-1-armv7h.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.15.1-1

%DESC%
High-performance theorem prover

%CSIZE%
255104

%ISIZE%
2609421

%MD5SUM%
742f59221e4c42d0953e97135ae07b52

%SHA256SUM%
9e6b700b5e004566266c3f026d725e9fdf909a7ae7ed2044f26a3f867976f38f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhOt/MACgkQdxk/FSvb5qZ3Og//XFw3/3J5cWDVCitERbwLDy/WWbJn2+IaKuMnnJ+DXL5fuqODbz6Nz7c4HxoyPxiHv2Nyn4660Xic4nf4jry3ooHXVbpOW5PKdXOdq1h7OkpZjFq4x7pf/pd2ho4HaWRb2yCSRxqey/Ox+3B5wJBfmbhdk/73YMPgYpALbyYgjVvU9AXpcFqEyTc/9Mlogqq6RbwQs1GSjLTz7YG7eBH7Yblq4lMKdN57QpsrzQRD2eASt0y4NBg89suFGU9MDM8J4qMFzo+SFdsx8KK20ZxO82zFoTU/PVzRJpqipX7/XkRedDVzR9HbIx6u4zo38OzNTmTNLQeDPfJEZY/j6j3nIM7bLjEDJzIEMRruyI289Phwj2AZvZSkNCplmJNyzJNPXi/J7yn0/j/tdGhlvup02YWy815pp/B3aOo4H/svLPcBwzuIKK/OuPhU1FeJ+6EbZwPeEXRJ5bk9kR+YOFlWIWA/pRm1677AZ+EKwo6IOqMIkPWjcr59PF3ofrvy2T7hym22rwIX68A3MT7eecRjXa7zqaCVUDvZ+/jpGpd0UdobqtYHN84PidXBx0jgzwrKzdkFWYpNJrvfNy9BIaXohNw6kYBgOy3OgCTjxJpHHHBE9UG6/H0EnC6rF5Uq8AqtlFfDlajyusbkh+7R5KxP0qKDe7RUdK4hZ7W9abvttsQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1749988515

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

%REPLACES%
python-z3

