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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.1-2

%DESC%
High-performance theorem prover

%CSIZE%
248352

%ISIZE%
2705684

%MD5SUM%
86328565cc1362e10dca112edb6ceb7f

%SHA256SUM%
0a9d7ec71da38926e66fa8a1ab665315acc5c95ce48ffff6c131bd20c4fef775

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRV6CsACgkQdxk/FSvb5qbGHBAAgnOgJ9S+RAZb8EIXc6jRR0iYtiILy6GzYvoajigr6DJG+rgoSx4HxeqGzaU8A8vdtK0JqfYXGvfmsIm9ESpqmfTuPiFOYb9Bishc3Z4Ro+cgpEpXrJhc0X+VVcyZ6SX9vepAV14kf5/g+xfFeUv9CZFVpT0oM2M28AGNDQevNLCcoHHbL5Rb/mmmJ1UZygLrPvowSWulefmGLQSYBR69kfd77VGlvfb4tdKmr3SoL+2QiZMfkiro8A4gApZgZUPlzeBDp9tAuJUBzG5gzhTfm1LhbC2TwdjTUv62BaRF/FCPKY+7GZBSnlu1sek7GQK8EAajOv/ga0m76kQj5IFnUNJsSE3Bm42BbbbO93c5+E1N87yOqjDMcjuZm90gr4Iohob9crCNdQlkn2kz6b1ZyA6KiFpRia+NP1E/xHI2N4g7HnRg/3+Gq5ACIqAl2ls6A19XhVzdC18HsP+MdXJswzTqxLY2lxpSQbg6lwxkyLE4zDV5KztG3xF+gA1otANxMHJ/0AWoicH8OMmIDjitCBZbHJmJNA8OsY00roUw6sy3yV/ZKVnkGruyd8A6Otc14b8ma0J0MrsXk95uXsxBIF4WIk6E/nPiwtGuHDTRuryPwMLwlpzyB3/HJBC3JelF8TMMB97W7r6GTSMFL1z5xXi+zxoqM4Y+AvDt9uLwy7k=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1683350798

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

%REPLACES%
python-z3

