%FILENAME%
z3-4.12.0-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.0-1

%DESC%
High-performance theorem prover

%CSIZE%
12309896

%ISIZE%
44067688

%MD5SUM%
5ae43bcae1ffacfb7ce5940a8e80da0b

%SHA256SUM%
351cda66bd0c195a26d26093c9e81f1a115a315caf842de4b3c9980f078f6b00

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPd1isACgkQdxk/FSvb5qa2lg/+NHzbomUpHp+4BNadEh7Tvh6uHqgsxK7MIXezdPjRHPD3/p/4tbRqGtREzROUy5I8JDGN9wpTCQcXqq/DY3XYurmLNBqb7tTEHsyL85InScXIpCSQwiZ4nd77O6056UCoXEk236ckpQ8uyQV0mxtvBz3VhCROYmXQEud2IcwGHR61q9MYHUWMQf1WGfnRnAyKh47Agyk0pAoXnls9EDGCLqXMN0rfldv0S+WjifuSxx3rKTMBq1/NdeApfnaz1V/oEHbcWr0q6Q+pti4G7yck9lFYDfpz/D6SEt72TyzN0EETOBqcaF/4cfPZFU7+qiy+qu/81zhIpxvJxu+IUzzUVRyyronxONuMZ2UnyQTqd3khjWve/WOsFQ7lSyfQZLC61nxeIqEl9Fc4QkCpVRBvBFqJftAniUGUblmYgt5ny4ALQDGwWfk6XN9Zr8jVoy2IJNWvStQfIxTmubfF5UtE7D8VFAWZ/lF6ANYbLJ7d3UYZ+i1OAgtb2O2nymeJpqn02sVH+2gotlnyz1/y1AL8nwe/KAjonwlVT71uu8jjQzAEDnSEBpVsuHnNA8QGB2KuhKkg9yZQVQXg0k6RkePO8WAa0QaHdXgMUiB0MmjGXwxFR+1xR+/0AcvoAIIrxGw5BKhVkY17+H4aU6EnIrqqHrHNBADX/wW/XlgIjkn1nGc=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1675481841

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

