%FILENAME%
z3-4.8.5-1-arm.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
10659360

%ISIZE%
37657600

%MD5SUM%
9d6ec4851a476f6910fa05790794f6d3

%SHA256SUM%
715d4f825d2218386af3cc28d5d85c8a530a7bb869de647574f302affbb55f0a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4XEoACgkQdxk/FSvb5qZm+hAAq9Zrdnq9XwDwBOSBXkq6FOO/z8d3F3DfDmM9xqMRAxoTS5xv7dCUgq6NVefXoDJw20UcK5OI5i+iDJZ72X0MVMGFzjBndq1D3KumDnw1P1q/FT6LLN35Fk1nQtXjgeiL8rIFBF0C9NPBsV+YoRaybMtUfzDRGXflv8ikRPa5R9XjqVB7wfoxyRGx9fAoGUeWgUV1nztgdVznNp0xJMwDfpR8K7T2saI35Q+osb4FuQEz501AfDe3p006VH+BtUAC6wXr8S52afBN8mmuZu0OLeQKgWbj0OgLpbFcsGj2YguDJoSzYaxwFPMxJd5cKOvLQZ5tD5sQ1o2IcZHeZW9fIjIsxqmG4p4jnQ6XiRGwoHfhqPTexMA0ZYIkePOR+WT41zHxakvVqVWj/GsWmw4G9kzHLgyre9bvyX7cj+qI5FrOFYgW+C2+z9Jey/ZueK2MA4KAWnnxT+0n7LDXB+KrclUJ4B58OcskE5KvjLE4/F66mF6cXieTvax25gGkqCSh9zNdKT6Vvc70W4yDPDkeJ9U6pc34pVfpYqiCZzhBoPTz59ViB+QgyGGNUkKksjZyCKYGPSF9cO18sJgMPpOpvC5+ECnIeQPJdM7Tchk7e5XJwTfSiE7vy4v2DKhTUe/X7xjnv9T2IJRv1pvS07gVZ4mAjkmOby0xB30Ypt77BTo=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1559779956

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

