%FILENAME%
z3-4.8.9-2-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
12621260

%ISIZE%
45807513

%MD5SUM%
02a444e3eb9f6ce1295d32cde914c5a4

%SHA256SUM%
d23775f46e29c5286c98d457df0829c9c096d016eef73f04d0c11890f8b6fab5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dI2IACgkQdxk/FSvb5qYbjA//aXNVAXSEGMUZuaXRSzrdvV2YOh6scG/WFf9LRrtu3uZZrhZCg+JCiHvHQfrTNIOT8bdaSq4MbttTb3MWyLTZzQcrmjo1XPzoJbtIcBOAQk3FbPTX6hY6JMV4ax0INVZAKjc0Z6drCMkCpOPw++tQOJ3CrIijwp9jz8x7mdDzH6AYAyT8O9Gp97cKvlNirYgZUxXvA7Y/ytHyRrqQYWntRsd43r6mvDftsJbGAHvcfmdyiFDl/PaqCoIUQU1KffhU0Nuoashj1OY1Id4cYloDBhs04sPDsfT9l/W8cXAdcBBf4L7FPwNMNVOaEqxPQ+w2NbUh4xo+SJGpQ3T6F7gqDr6zHBnJ2kojEzF/VLI9HPFTyZhXyyGJbZfAdTCXHmPBfwuINbitZXjOqOmu7p+c/HUlhYH5M8pArt25k0onJxKGBonELNWrScoWwQPMpauuEGfh90qo8P7Ossl2SzfSxJzTZ69MicX2WPnY3ISLupGXat8x9geAQADt86WGpTFJhqNi5CwV2KSX/5klw/eeqRmA/QWdUvXbmYAm9Wx8CDCdP+UvG0roEhRW4MIvoBiB9IOQ/JuBcKjPC97L8/2g5syeKibG5986OG/rrGMBgudxvX7Z2OV0QnDkDEBHOTqip+rQ7oEkzdR8Jg357dxDRR1ItU+zeiJLzF5E/NY1JoA=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1599938969

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

