%FILENAME%
z3-4.12.1-2-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.1-2

%DESC%
High-performance theorem prover

%CSIZE%
12308688

%ISIZE%
44100340

%MD5SUM%
86f2a053cba3fa292e15711a650e14b8

%SHA256SUM%
39c1afb270e456b30a65f51ab431c2d3210473f23333f82256c12a6b09bd1451

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRV6CwACgkQdxk/FSvb5qYMHA//eEJQdfFU3K/N6efGCNcAMO319jXZU5z1cRlrKtnEi5uOyaqLfi1/2bdnoq9XU8XRLZ4l1Zf5rEQYD/CD1yXoCQ69Q/EYrPoGtq0ii6HpyZyKbXqTQP1jlDHsbCbxwkJxtJMpiIeA0TzUrnMLTKHyfVbSP4fEttdhg3J3dIPN0RpbN0xSMSCP61oOJpEYzg1YWnIgU7Vg2B+KpViE0aIiMQbpscqHAaS63o7i7irN6ikk3xPtTCfhbFLe9UHTuVUBxHicnlC1EVS/EbMOzGmMt43GUk/DfuVxcbV5Nxcot9T3eDoEICaOIy7vPQgw/g51V3RnKk/OvjwQMNr7HPRjlvF2NBPq60DiSvfY3dfEnHTb7zhA/y3L7oEaxd8MDk6aVOjhOxU74TqG9huhsKMMhawh0cc5aYsNdQkFKbOutPoxKocLLB20Rmao+zzyl5Wnjv/zTC9BTdUuV4K8kJLhrwN9px2pHMGtHrwdwarZyzP7X6A3KNjRr3WpuH84afYp98nfS1sCZDxZ8Py268nwnV4s6FgwwCTvbOvyFWWtt1FftIq8p+3mAVv6u5jW4DYYih4NIz2PlQdiLcb91M9XuGSfJ8e/+tfd4E/VWzKFjgtW1n1wILXRtYpNPL7W2F4rUmsucMscRMVeajGMGaJ169cyJrg5OZR2gkW1Sh6HmfM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1683350798

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

