%FILENAME%
python-z3-4.8.12-1-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
174448

%ISIZE%
1774283

%MD5SUM%
dc164b5958f89872aa2edfa0311427e1

%SHA256SUM%
b59f26f501cb80b258c24541c43619e956a954e7809db59f831f4395ef1e0f55

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx8KsACgkQdxk/FSvb5qYgLg/+MonSw2HfywglDqtwqSO8PXa0myX84QHZpZbOoaUkwEAs0vjdVyaXxK7fYi/wBBflnojfi4B9PjDTPFQ/idVCORwIhO+qVePsOUeuv596WFx2Pzh4iqbGdMBnBmnzsTxAFDizGAIUZhGuUkfHv/dwD/CD0IuPAib1QbAJhgZbUNtXIpcpJw5Dkxlv9nD587ByK3LsuMDaxZiP2nhJcYIJr/BjfcDHHUZ5xiJNFZQ2wwicHl7G2xBXnqpMpXDQTjQ7dXyBlDqu4+s+sXShzo7o97kKfc5DoZdy2fTgd0vWZxnLvJAvvIw5cGCiW877SSgiEkszEtlhU6O5BB3HtMx+FOg+am4t1yfDEA+7A1hTeZfZNXt8lpw50B3HvR4faqiRrIDo7XwnfvNKC7bHP0FvqdrQ2RIsc15XHlR0wn5VlPPZiRwzoGgTQOpsLuRdLp30SV02ZU6EMYaJePe7vL2TxplVp/bQmkMnVrCSj2cxrkI8E7XdEorFuWqscCTjzy6PM/LWGC/oPnh20BHL9k4NKCvqO/CCMxdscSgGtwN9L2rSb08HnH+m8TE3PZ9SJiEdM01G+7OfWgccXQNzX+bDSvuk2LuyO2em2M5Zc69S1K8TPvEGzphjaL3aHDzypDbhVa/PZuOdfLdQTffYhx0f+2egiiF/PPmhBzxBQm3kHFE=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1626467941

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

