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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.1-1

%DESC%
High-performance theorem prover

%CSIZE%
12308760

%ISIZE%
44100456

%MD5SUM%
8de3ca892d12a933cc3ef426a2f3f302

%SHA256SUM%
72cbae232a76bbf957afd2d5fd6f9e9606538ac6a9f28a39b33157c10a25fb7f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmP30eUACgkQdxk/FSvb5qbhSA/9GavCtCclSWTTan78PsPw53PXWHO4FkI1Kw+xqzuTPWd/7/HYyTZ2dof+hNE7fHvToylzp88zu+vl/JMEFaA1YDBgts2ujhpL+qtz8bi94p0iZRudZpeN0V1OqRJRtHCbxx5T8C62P82QMLesqfS8flifkFB4oZXctcyMz77wWf9Eirt2nNfvmlXnUKqMXE3c2XjPgWLdHw2/fPmcHE7TRwzpXv2f8+WBkUy1ME5gDNEcq84eG44lpPIS11Mf87zcQxuPxKtLXK4UY+zv0w2WZvpxHHyCot9YeYCCVdy1FD9QwRpwEgeMwtQk5ZMP6NlZbQcjrDo4796+MxJGRXH365OyiBKLKWMx5eY+EmO7nhwoS56bRW1RY8c3Ujs9GjDiNglr3TBX7vNF8bv3Mc/m5PFIn1ZCUSZST9aIQ4mPkc+Idc40ntdz+c+3DzztDqc2uIbMToqXqwXsyaAEX41e5l2KmJuz4LlfAp6hplJkH6v/yEaJ90c85xcNTtezviVIXmSYn0pgWaQkf0tiDq5YeVyWtjIdkBiRgOqCtpqJZ2lDWG7xaPUmVR/UXoEvYmIwpZ8MvO5mwXiRzxpxISww8P3cyHwwy1Ax/TyunDQZqQcWtfxjpoayQPdT0aqCGAcIvijMmYFDVin6+MdjCnoCLonaYKR+Hk6kFiZtquwNymQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1677184751

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

