%FILENAME%
python-z3-4.8.14-1-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
182412

%ISIZE%
1702871

%MD5SUM%
786ca68e01e1ca984d7ec7f0b2b1e848

%SHA256SUM%
3aa35bfad81286e53d810e7e65054f09d3597b78a006f9e0e8fa2c150173e816

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeK9YACgkQdxk/FSvb5qYQUhAAx313TL2ryL6WLeo2755pNIrlqEUSyKGHpETGZoJP6mox9411PFcFOrvoPzuQj+3A32QOfm8U1MDZvOEuYo/+/+TslIvm9FPm8vGFxB7zhAcuvcQn4kn2e0JoynNn9ZC2eFsbfuPY2faEq3N3jrLgIM0m3j1TpT+SuJNyQewcqdUReD5LtbLUwCTAkxx7C2Lo3W7m/Lc+THMJmjIKfb/Okq051zpoNt29jwu3cG1DdgkIvvfKUKkQswCe7FfobIECCqe2lLzAoppI1uPzcqfI0gKCm+88D5hRqVQYrgvIxuDj89tyJUYG/5mO8dERR4bsrQUY3eaMCPWyzdLDqAjwlyDgZew9FZ7gBwePevj4LmVFYw41P+J73AysJ4Ce+Uq8hVuo3e5Y6tiBXB/vPNQ9Lf84IbK4Ezl/m6QWLxKChwTK1d2kRb9jB8RMuTzh8v4gUdc6p9x8o4UAlieoJNoHElYP/rYh2dwsujSH56lhlyiwYYRoNEDTaBblhRigJ3aw+PStqQNFiJI0ldiLUmmXGcsm4ifNImNbzh6o9ZGiT1f+eDm6A34BzOA3WLYzxEKMFZkZE2Bdu0sRK6BX/SqVJXlCT809TWuQnSl1cPeR69NhBMd4uXuq2bzoJvxTu2gOOYeiDkHwmhO/hNjG14GTpjCqvkr3ZRlMFBv1fo0Yrcw=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1641949559

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

