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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
12444216

%ISIZE%
44177593

%MD5SUM%
6b0e983fc90be37bf44e35fa3c3907c0

%SHA256SUM%
acadad1b408131bb9f34c1b4fa7906e9a17e71776ef5c5519b746972984ffa07

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64ffoACgkQdxk/FSvb5qaMXBAAucXXylrE6VDHeHoL+nUGvwIMUUK/ML7CyY/VakcOXMd7U8Ibq8thBvorsG4d00XtbHz0HOndNNbeBX7YUkMLfSqiLUsxc6HzN12MJB8HdFSzmJfO2P82R1ktl92pwuQHoOmFTRBxyIwiKWHQ/lGi1YUWCt+U9WT+8/JQ4PshLxBvgxXuurVVlCjrTWK9sG3oi9sgQHRTGbIepaYbo+GfwQTC+a3bQgbm78ldjM3QxbIk79Ay+rYUOmlXMIxOPgWt102dirIMMqjbXeVRw5xISbDGYdQ9aTRdCeSiqztgoyc9URobK6fzPrLSbaQTFRrxfHcq90nMlWkfadEGbJ9vbVQ+s/Mlch6MyDCx4akH4n4qpIHwftYVpbxLKHjJUF/eK6+9kXTafa6Vl3VIkMI5YFNzhQN0REePOs7BbCXNSOSinx2ncVeHNQst4CMuDiIkuexeS6MuYHaAvSKLdSdN1tgjenc1nQHLER4AVNzDUbMK9vo9iiomYZStDH6fzLtB22xevl1Ysvii2mQfh83qkN+uNcdOAgYh8cPhGCaD09UhKV4zuJGWxlcydHxlB6hWz8v0brQNN+OC8GRyVxjUtMghqye6DZ5bzmpKCKRYZtyOUENUMOXCNKSN600du8c0r6j76XZBRQNa3cifDXk+JQWBRYOt68V0cPYsSYIyDqk=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1589148738

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

