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

%NAME%
z3

%BASE%
z3

%VERSION%
4.14.1-1

%DESC%
High-performance theorem prover

%CSIZE%
14624476

%ISIZE%
52121409

%MD5SUM%
102425c926be41a41a90e40fd77a35de

%SHA256SUM%
7c8ea4b8f1902521140370fcdd5ba8e235917bf4bd845dcdb3a13e0c9e39ad22

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmft2IAACgkQdxk/FSvb5qZcMw//Tq6uEfCfW2ZzNENtDXBHY4dEfoIUYfZ8vBrPa4I6EHgO6l6+Gcdklpoq2pEYnFf3AA3d/JTGklq18hZXC426EjbXP5O4FlylUknmIhb/NnqzUhea/a0l87KDh1wwoSaChACgWxEvtpeOail4vInYCkTvfBQVTItRg9gB/mM0CXga8zC5siOsETEC9/1I/nFTXicdJ5jes05dq/Dn3lLac/aLfX9wKSxggT1iLJM8sdC84iK1P8eauEVShbAgIgk2IB6HHRGJ75ofFvl/a3IWXP472tE3UbKEt+dPMQpD+kW/nw4LkscLTmg4N54pgJ9ZD3pNf3QzRvefvdGARguDTKROAALybPDOh5U1ZhYAFcB0ZBATltiuPgCrOk5M4vlZhIm1o3S60w69kbaaYoNo/61Bb6QEhX1qOIXxMpOvQ828uLqy0iDfrxwqI2G1hbb5bo19bydF43L9NZNtJzfMEg5OKTp/NfzVHfA51VADUQLI6o4gKkHP81IOe6itDhNOEGsTgVpC1w3AXlkwZ1oZXT9BYQq4bf2oFGZm+/aVZwHDeVlWDRqx/qhL9g6LH/rKKI78RzVWhG8nz8bK7GBjbHlJijMnqhYxmnpstcrvsLT2fiWXp1q+QaH2WgTHDe6TUjVK+WabbiPyXilun39MCz5yW4GdHFMxxOIqPojWpbs=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1743639851

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

