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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.2-1

%DESC%
High-performance theorem prover

%CSIZE%
13247692

%ISIZE%
51655956

%MD5SUM%
19f3a28ff9c53fb978a75538dca35505

%SHA256SUM%
36fcb2cba2d62c28f879b8c74b621650ae933900de2345a74ff5cbc3fc1f3a19

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTwoFAACgkQdxk/FSvb5qbtwhAAgN4twSP8t1CljrESgrm6Ug2RXTRTu3BPUSZtkk/1PRdcSqEZVAn+N+GVcyabeZSVz8YYDAcMrfTirkYu3QTVeJiwfktjunpVWrSOblSw3W5XS1F9Ka+2rJ/jNVf4Qf3PJYlhBG2S2iUtbebvxHDsV1CDwbvSulA2auHa1em0Rl1XBr/KvLN/sPrb1dryiwgYik6e6ckdvxvKmPJ/fyJS9weTp7E5FFTcSLjIsxaQ415YuXVWXoeHCy8TtDVdkZ2LdQLjdjNhpb9sngfMm5zPljGlRom52jIdFRZdP5Cil88bYMUh95W5BqFKoUKcAMk3cu0QpOmv2MbaQuG35RXAGat4QsXFxEnMti1bennSeGq+yLVpz2y3ICakSUOuDsKh5tgO539KS8CI77K+eIQQ9ME5JpvchcbJzS9Q6Ystf5WRn+Pczwcrxz4xYevLZnLivzvVC7h8dtVjMZOC4Hk7l/nac4RUO6cEwXJtzG5H/Ba9zc57dB7Grn3FWTfj8XKwPGlGaGxrF+6TFjwmrRISG1vYmz4LboDdOuwkqLckB+gldeYauxfVM6A5VPvHbW6nINmoAD0rbUEu6cxayzILhf0pE0z9aBPEM4DX2pHSJLRxVjePRk3ww31ii/XGTPhGY6z2RR4rYGi7aQVLIhq2kugdIBqu5+EWZMA1E1RuZW4=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1693490790

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

