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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.11.0-1

%DESC%
High-performance theorem prover

%CSIZE%
185328

%ISIZE%
1749330

%MD5SUM%
6929f0b3fce7ef4a2499be0ca4683bcc

%SHA256SUM%
7047610e5a9a07d59e7e9dd30718efcc20fba4855a5e8b2c1ad16ca652e3fd35

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmL/4w4ACgkQdxk/FSvb5qaPxw/+NRCLovLi3X/Qtj0JgZXHOQ6yrnc2c/k4vsIUingRggh5sj39L/nlL2MUBzBCW/UK3UzUXy5LLfbkKPcjttwWdkZSRju8dUGETf6vwa+pTx4xnSKupDUEYfZWCUOsqBTIuGv9xOv2s0a8NjA/OgKcyC2o3UpEo0FhKnM2VPmoaQjga16+Y5szChNKuh2N2Jz6skyhH7n2Z6LCIvzuFh1eTjfzCBGwB6XPiw5whMaJU2fS0EE+dms1fEV/pMi5XUTMBnVt9BE6WhR87cqnEuD4fSS7RdPpP99T2gc4OCrw7rc+/fRl6cHOlMEyd/NpThjcV0H3oIAL5Qsnb7pH4mGZvdeyLM8CbwkV5uS99K6n7Gxz4ry+4hM4dWpyF7V96LmdlIGnlQJzMItEpYKhYA6rYVP7v1WGFwNTVHMsNXDxIqVKkzASlC5cM+DpgihmuolkdIhu24C2tozfyKkh98ApOqm85s67PXaK0ENRidAsUI8/CV+NzWetSiTpCbosOK5gTp1obp06yaJFAQ81BrmhqL67dC/iD61ixKDQIKujMskJtRoGjElCX9lo2MVy4azmw26Uouw72NxvY72TcgT8aeURfgi+An/8/WnG/i230gH0itYQRzgfgTqRSgayD0k9cNwj+oRLp9RhgsJYAySwuwlVcc1P5bDAVtjyGvWpoX8=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1660936278

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

%REPLACES%
python-z3

