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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.1-2

%DESC%
High-performance theorem prover

%CSIZE%
13406300

%ISIZE%
52023080

%MD5SUM%
3ea9bda5b6291086593dc98f5ab5b369

%SHA256SUM%
d94231e1a2a7dadce6b58ed6331fab1d07a3d4b8e1436d828f007eda05b0be5e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRWMWsACgkQdxk/FSvb5qZoRQ/6AwFg73XFkM+ZyFv0QHuDeL5QPlWp2uhuDIhJlfuSAV7Vz6v6AQsWI5s6TuOmFd/HIC/vXBIRGdu9eCE71mg1SwtRKv2nAN5suU9GwAbJduQy8Yg9V91l38jEZcW2buFHNbhlY/L/y+zVFGWnSzuIWAQqks9P6z1YcREsRLqrZzWgp/f9Tv7YoR/S8drGUl6TX3uP3Wbt+U86dYWCq+6hKsdOpT61BlNW1LaCj7BF6Rmsc3xZf/1SBGxnjfN+ALOFvLufv5pFDcVOPbZ5S0R9lirOQFUhGGfBFBN9bWW5HlkpVJ6DIhXqpSuFjoE8RmIajqPBUVl7CwWip+xE8b8MovoZfL4+xrA4P/YzkmLEWbQS9APGJ3Uqmob9bO3neSpA+ocpFhaMxe7OdOoIfoku+vSp88nJGNTNVe6TwTMoT6X32cVWz+Y37b9xTposN8BxpPC5spT5XCwFBLTikmm8Q2oV+ALNJsFLbtrbH9ZZDsWhcBJMedgola70D1kso9JswGxZ+SrnwiREmdsK/bw8vmLc9pOgYXncnrv9p6P4PId2CBurim+xYe6q6FxWQ121F6ncPeHuws41vkQ5WzgxXlKEgsnqZY5dA2/4MMmQa5ytO6HhwWITyoI4ZOzVUC0F+jE/VFhWDo8IfeT9TAvGCrYp2ZCM7nqclDnI8ztY+XA=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1683369953

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

