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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.16-1

%DESC%
High-performance theorem prover

%CSIZE%
12611172

%ISIZE%
49830353

%MD5SUM%
94afc96657a36121bd10246c582c0e37

%SHA256SUM%
b6c847498bb9b22cb849ee7aaded3726fcbf9105585de96626d4a1b4259b1c9d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmJtnHkACgkQdxk/FSvb5qb1nA//Tf03AqCV2Opqb7Zsdu2Baynb9ekdwdv/5VrGsGLwMAT0/tmUPrH6Y/lBDGfOXhgFZLMGswjqnDUh4twCGrN839L5TutTuw0xYCeuuFZ+YG9hiq4MkyslOaU6uoHE01VkxDS/j9yNgJtIx9STDYjHJhr7EpkAUkynk+1tj7I1vCrGMD74uliAcsl5fS68HKuW3qEbWvr6lA0FuldqL7xYvP7m6daecIYG+3RcLwoaOATAkIJNYnm70J5tTHel9+iROevFxVm+XdW8F86nqdKT+XABOGtk6nFInhxhhOduVJbNJsqejHUScMbjx0y8zdlWQeJOt+s/SI2oNHhqLmmPOgJ2eysrk1kzAZu3d9zXYgMEuYOdFriuodkZ601HCumKlNhOWElsUjNP3TZawRX4y8siIXdbrm6Fyb7E+jGOhf9rLYneWSkYtst/lI2KiWmJf8P7ElBuRggSNwZzEH8oS2q5G8IBLcKqG/8osaAHaAro479SUiSxZOTGOuEm/pB81WMeydNJj00SpPWYWWPPfIDASM/PoO+ADrB6KrLfZkZgqL9IZFP86do/KTXus1LT28xFloOhuaVNGsoVth6/BSDEifJ2vMkG3/t2XGm0wtC7uHFuaoAo8961cEUhs7bsvfMRN2Zpj9vNZ22BO0Iq8hPMNAggNwxft7IWil+Ww8U=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1651350165

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

