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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
13358272

%ISIZE%
52636705

%MD5SUM%
9348033377e4a0e0b69393bb7997b3cd

%SHA256SUM%
0875308864111affc513bfc171a63a5f7e3493abe0ade55cb80a3246c9eee6bc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64fagACgkQdxk/FSvb5qb3Fw/8Ci7St2ibZiHjRDvnSrJ7v/nZ6NCxWZq4Zd/6DNKwoyX+ChSkcKXJqQoz2QQMGV/vCYDWlTyfcS0m7x+8Gxj2HQmM1/1GAfOlKtiBZe+ymPGvmpmTZvEyj3msVp/AvCWsK1MW8T6tL+oaaUed9uBM03JlFWDAEazhUSl6x6ETRnHWyXSwy5FalqKBA5HD0KJhQN3rGaKReucYLdpOcouoE1hi4DtTLAhjfknucw+gUGlAcpQZLS5tqPdTqDrGDZTsyMuhGe/1bk5eaEq97vxwMkF2kUwbgURrpDISJaB1U7n2hTbmH8/dP8PBHtehcI9p10a0nkWXlCSFUoyQXILq4PAPzfaNO5lDH5hP8YhdpvXUwwhec8twcHurMfwsLorwwdFSvBmDNJ9IOTGyUrGPvr5eH0AW8dd6vmSvfRYqXJvLi/NvkBWpXlaSIZY2+sPhZNQB/909ORtzWrUbE8UTVGFCspy1IBbyJ3GG+jw7qXv540+xZSAKUO8WkJDZ1h8acTXCn3k5mUvQ/2rqxapOI1bUG/07Flka11TvBvm16Im3vK2n12QIzhGrLMVFe+A0ML6bQDuPtwcHOOM9zhUg0Guv/XauQHLT3eCZ9+zCiwLcPdsgI2wMOrmCBUmno2nqHrgdcRLRVgCgE3PyXKMt/VSvCDRwdgzpstsQMTV2qKM=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1589148716

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

