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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.1-1

%DESC%
High-performance theorem prover

%CSIZE%
186188

%ISIZE%
1756921

%MD5SUM%
696fedd48b3f326a9ca7f7cc251ead72

%SHA256SUM%
a21060a61c0c2c0d2d999075054a2f8cd3a98413d509c16328213a7c2dd9dde9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmP30eUACgkQdxk/FSvb5qYMKA/+N15kbPYyrz4ztgHUfIpyZZq5xC0XJ2rmd2CIpGKCCkNoFshasGCkpHecMJcDlnGwWrlbZEJdZuxM88Zjr0u7JcUsLpVOFw7BGJN6v+47y7jAOODEG1Lpy8jINbsotxpXIWdgDf2BNDBSWw/cNWmNJ4Eyu5xQS9csUh953eMhPy8EpjONwvGrehTu6gh0iFPj/VHFsq7p+JK/vKZXMZSAoGg7ei2linlLrgJfjkzOZLannkst66IRrZXGnMYEMLpqddSZefhYwLVcHI+qsYJd0uRDP7S8lDKJSrPi2FqW9cEfh/UVb2lhGOJyPgYZDrgjtRa6Q2dyQXbfYNa5d8VTdRJ+8vqKgyhIT1t2S2qqjdMyhfK5NsBa1nowAUqTKWuPlDkfKJBld0cARf4biMNIddH/lKKbE/2ypkaBtNLmMjSvdG4O308YXEKKJkqzNKU6Zg6hDIPKdZdQ3vMCB6GbtNqQ7CbJJr+3ocEzCknhw0w4oTGgNzRqRxt4G300lr1ca1CH+DqsW1cSxabo3ouuzqfjwKFPC8HfWjo3GwqskbcvmJs/RiRlZOQ3f0HYzaOG/LX7On+ZHRodJNTNaNySNKjs5LrykLAz2vnTS02d8X0Juhr5//isauIKAmnU+Upt7cGTuwk0b2zUeaxxyNULn0ftRir8aDGvbB58WDEiWVc=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1677184751

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

%REPLACES%
python-z3

