%FILENAME%
z3-4.9.1-1-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.9.1-1

%DESC%
High-performance theorem prover

%CSIZE%
12925360

%ISIZE%
50142617

%MD5SUM%
a292c76167811d84ea6b5ecefdfc0b4f

%SHA256SUM%
bfca18304576b65e813a3dcd8dd6d6aa736a0f478a5b2490f0eefc9042c71c04

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmL3+RsACgkQdxk/FSvb5qbrHhAAv9PLi7Ng79KNNcyeoAch60fvWnqTbMDej7Z85Y0zcOvtZQiBSPpU42UgqBEYNAgz1SDpHYgvEREqWkx6tEbjhime0XNQ3PjCNdJoL5JX9NoaYAsJic7PE5BzyDz62lCauuVUtFwaPt/W13q4mAxpDMs1dY/xlci19G3JfDwcOeFBQKV0+Du0xDEooUkothyRfwSct8i0vmGnKWxtDXmMp5/gyzUEzZaKQgr9Msvyd3YvB1BbGyu8BUONNIIPp1vN6xRE0X7HV+vxtfMpVhUEHvkmUugee84zoUs1CczFdjliZmyFCOHYewYWSiMZQXVyLiiX8Bdg94oc8bfm+Yt9T0cgWfQljSa+bcw9SmmeVOvXNjyiat/fc4EFqd1qMW3uAvsgo82ScXzIib0NYaG+iTrolk6b0WXiGxdbMFr56v2CrtUeNLqtBtds3QJBlRvVAOZOPpMsxTD3dCaWYGbnK5TGdtjILbb2Sv0b4kGx8jT7iLzP62G5UGx/S8KdJpdZUYEUjCukMG2HSYT8zD2x6LdD06WvaUqa5TIfuWlnFoxcbcb4NHu1VnQ074/9VPxbWAcR+WzJYkaTzJO77lSx/cv/gjqq54cVfT7USo5PkxNapv674NDFm90y4+RA1m12sw0Wx1dpWYdmIPvV48v3sQ4RtzSBRLH2Xi7DBKmf9OY=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1660417865

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

