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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.2-1

%DESC%
High-performance theorem prover

%CSIZE%
12179696

%ISIZE%
43811032

%MD5SUM%
24e0ad3e9637f2c45387c9e95070ada4

%SHA256SUM%
c5a22b1283735ccbfd3dbdc533aaf05118bd6c8608922624eb038c90ffc1624e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTwj2oACgkQdxk/FSvb5qa5Xg//eks2pZtzErMnXKJo1OAQHl9RevYoKye3TDKQOyAYzyCz310NrEZgYkmQUY3KBX7utiSdZP7zbyzK+Q5N7KPyJucourcJwJibiDSZHXBm9kQs6nZQJ9U8NNCaBsPbjsAAAwr3Umt1SLKVYeb6Xa4Bb0oeOAVBuLvqEdi+MirOO32YkXEQOD9fHNKuW/ouGTviBHNSZ/+DAf5cI0Rag58KmmO40cZTExHkpVbKxlU4/8Zgw8vM2czAxByW74mhF2W3NlGfTlab1DEoKpBKMi+9JcDSOO1nOuLKUApJdmnZbEnMPIstTB3eUh3YP8CmIpiEQRJ7nOH2eqVl4AXi1lLq5/ClKRQaH5l1+sOXE1XZIAPL9qRd/T9NMeSgyEcSlbVBRCHxwGP0nnDQi4PpWci9sqWS6aLRs5L8qes3lzjOwK8vYvowOzxfBdZtrIR1R7lBOvgdhjhEeYf3uJFpb1rYZdFja96Jbmmjrw05r4T5JVGr4XlNuwfiMuTN2Hj2pZeVu6fC/DraSeMLvk5NTRjBm1rJ1cy11hTWIR+XaHrzAi0mJRiwtQxRYiBlg0FZz+Mv7t0YbgOvIxn25aEr2DqHQV55xygL8nZUSat9CMfF/8i4Vn7tQw7cxH6szeb/So/skcuI2y18Odk3yByXq0SsTNFg4JCiGNQ2roqiltoTuY0=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1693486178

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

