%FILENAME%
z3-4.8.11-1-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.11-1

%DESC%
High-performance theorem prover

%CSIZE%
13152864

%ISIZE%
47781592

%MD5SUM%
079ac26ab57cb105aeb0b97446090406

%SHA256SUM%
de5989a224539293fa239a4afca4e53c05d51e4236362c4d47b9a87121dd9aba

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDC4OMACgkQdxk/FSvb5qaKMw//e/FSe34YuEEbRYf8cQ9FbpG8GXRUCSuOafUwgGTUsOEHgLJoIVN3sRciireDEdZlIgWIoWEGhetnerKVxFxxBzpt68/r3r+0zM9aKGz1Ir5oT50sRpfKSShh4URq70R/5ex5rx0eaeB/ROjTXXekQ70A9MQFftIoh5lB6IvwpkTJLdGXKsXmxJmC5UiZlxVOtIBM9LGisct7hDE9UuqiQi+3TDGTIOgzOAbZ1w+HsmNWvAxO4r3YG68PJtW7AJqwZrev+B1fFuGNhTmbTUnB8XbxsUwSc7uweENS+f2MekjjJnd6kmi3bDTlFDoDURon6aen52LpNYqIUXhP38zYeS7IkcOHPQ4EsSGjRbN6y/zz2D2J1poem02++wfad6Va0d8oNA2dnVSR0gLYlc00FAUi81YmM5Ri/G+IwQoOk4Da87761LExyi/GMYLeC8S52D2n2izCpo3h3Rc4x286PGBdNksHNlb5j/P3cxHOCIjFIjLtJwlYbmXurk2KIlSWXCUbrdNYW+ox6gUdqGUxHg5vEW5aJGZQoOZS34oPTWiwH2KWEgXFY9HBsOKk22a4elibCY3Slj2zpOleNBtZyJW8ut8XQ+Pn4f/i867He6IzKMhFiRPWGFTrLGbRjLB6z2Yl4SZi0CTJc+MeaREODX90nRO7DO6T8sptKMBT/IE=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1623383707

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

