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

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-1

%DESC%
High-performance theorem prover

%CSIZE%
15374032

%ISIZE%
59070631

%MD5SUM%
5d3c374f28967e0a84890d47347bcd50

%SHA256SUM%
0964d0e65834df22ec2a2dbcc2bd797e91ceca01e5748e25abfd7c6294d53670

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmnKtq8ACgkQdxk/FSvb5qaK4RAAk4ViRKK5JO6GTJ7UqzbFkwENOu6kj/Xgs27yXynDZW2hiL64evMdy9Z/zU/1AFvAlzWkbkkFwT9upHR8Wx38Dxs4ktSmIJm51SY+f839oCw1P8KRaqBujnu/J8lN7RJS6RtmPRNkEHGYOYDtgj66xEF/cgmfzpMC2lsqcRabs8iH2n0Fy5TdKeWql6CSNk6rnHdJplKex8oLk1L2A2+M7L5zHVkXr8C8OzT1diSiJqp1PAtA2K3ee57cW4P2mUAwvdLwC3aPyjfFewUmWXqirhbmb5UXPJg5Kmf+0Fu2HirBNZ4VJoDUt0w6REgB15SkbTvdlh6hPChl+/+ht7Q0QRA5VFDbG6ngSQNM+BLEZe9kOV1VfaSQyys+RV2zmjNFTljyyFLrPO83CEJ3wWSHpzjs7Gtm6UrxFhu1dIqCN5V7tNpTl2EikdpiJwpTGPwGOGu9mdhw9+y3jtqOo7LaFVkfjtS5qN/uRuqOB9lLjajoFXuomgPMS7BzNEaM5kOTJQNMExUMifGGNfIjhzLBFo+qfAi31Z++EgM0ipXoEyuqHfr9gbyrr4r2DpbeFptrvhhizDPWLr9VlqUpYXMBQDceaT98dNIlcEeCb8JJqa4huIcEZA0q6wuz7j3XaHY/HBBx7HcV/VUetXi8aNucwvih1stRFnp4hZc+mzT3Wnw=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1774891879

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

