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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
182512

%ISIZE%
1702871

%MD5SUM%
cb839c3a42e101a43654a6fde0467cf1

%SHA256SUM%
36c3921d089f6de695845a9d5f0ba3a975475477b2a6aaae5c6a255f7ea3bb3f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeNTwACgkQdxk/FSvb5qbGwhAAvTDsPGxUDH7ihiA5EgFxe977kzj7SuR7+kvtu7YVpciQCFoJ8f9TZT7VcPrI1lEsQbqXddSl2g2puk6SK3kR/16kx1f2EWoTDlYJNDHdFNd2/Ryr7w6mn9/lkg5J+lz3Qwn1Cx3q3NddrDAxasjY/Un804sksHnmm2rTgVohSGLvdE0CwpqWpLBGtbZS2vLDVR8Su2J7nyBM8DokuSe4DL3v1LhIGdWuJ8Xrwe31uiR0YasKhdxoWtnFklDsSVzfNftTlVfjGPlIsQ5xVE1yDowmz5mGNdkhs9zCB9ZcYI1MjbjIK1/pPKJPqhEGubHg33zsY6YT/IoVfmsVC7Nu+jYHPDyjt2n3+ZqJZ12eyCysWrQpgYx2BEAvr8sBiaFRpeWPjCjVOevCDNHILRT9ARBTVv7ZwSBTgmtx0mOhEtso+PQQQsY1KzF5QdtLKDh14HIhndeeTel3hIAx65tYI6TdcSbBTsEefVokuP+cHSCaedqCOHFOaNqgWu62Gl6e0m9MGy1LCj1yNXAbr8Aue2Ybg2qMELvlRjyY0yo3gAFs0uajDn+4Tujwbv3Ry/97vmrty1O1nVeEf6BbJnYy19LWnwMUKArKuh8WU03N/vcAa42PAHL0QZL9gGMManVSYet+j343ikC97xMvxJz7Kr1fbg32V8P9a0XjQZuuSp0=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1641952198

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

