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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.1-1

%DESC%
High-performance theorem prover

%CSIZE%
13407308

%ISIZE%
52023196

%MD5SUM%
c86173a5fb89fad520fde0e2bc707844

%SHA256SUM%
b1a240d970fa475703b60dc1354002c9d7b8663980a5ccfde234f63806d6bd80

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmP3yUcACgkQdxk/FSvb5qb7hxAApHX8dZVSZn0xBtbfFsVyQXoxaZSSb/FZc8HA9tucAce6jsjdrQK/gr+DXf6aHTdDOrt73ZHI+Es6PxfejH6TN+LsH9UpD9weN47bMVpZk6BOniOhGpHmVhSFXV9wf7gP8F83+6BnqxHtDw1f4/tQTdCymK3FTRcUZAGEAAxCbKR+G22BTa8ldjZxQFUEh6Ll3ngC5fJn5DoWDHoNZnBlSQ0fumMziP8xyjm597/3U3BQQMfyIdrAyLrAMp/Fs/e1tsJ6tsHilP1NtlNmhcvOIsv/zZrXw71zAhqAHjvOhDV5fOaRkW+Uu0tlXpWpnev5Zys83P0OHFpBR6DjfE2v5tXGSfz70EPffL0Glm7eNw1CjX3m21ISjkvMOakY2laYjXKhM105BYxcFfWnpSio9NLqLa4DN0MnSw5F4hnDYBolYLLlAByWWP136HHNkJXx50ekQ+Ia4z+cgk3ANsIwkKn7lIwIJFP7cdgv7XBo6AQOrWTIp8aMwEW3f7BO/lvm45pX6yaamvJmpctND9IU+iZCNTPYzsIWXJ6JfZ+9Z1EaQCZBSHiwYE3i5GbqKGsUVy1Igjbox0FkRgUpyKnAAZjs2Z/BmL947+2YYgNXmCAD9uUF/Y9QUU753IoUoWaym/n6VXVmKn776fj6yvWyVDFxWyZ4ll8tgfXEwMQNBe8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1677182793

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

