%FILENAME%
z3-4.8.3-1-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
11702488

%ISIZE%
45299712

%MD5SUM%
f217ad0e4e8ae724ed798faab016b4a5

%SHA256SUM%
9468f5472fb4e578492bcf324a7c0813bade13b38cd6429e40ab641a584b2727

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KdwACgkQdxk/FSvb5qbkTBAAt01rP8A015gWSI8vxTRnMm9Rrm48m0Jo9vxsA2ulyfUuULDYwG3Fg+codTJyq5mCfTyFnsGZzasHBW3mNE84/99SesnoMZB6q4390nLmBlwnKxXu5GynhVn8NYqdaltCT3y4P0G4FTbJoS+s+Evq6Pn/Kz2qqiSW0TxeRxspbg0lcjWDCCcH+hdJK6qYPUDZAbFr3LfUJqnkANG3y/fTlJ8cgKgFuNvciwiNj5N8Q7ymo5uUhgH0o6VrBTpEzSHlYOb+XFdhU1I25pTXYDbZYFDcJSlIBaYgrWJ54TpdVfhG7eW/0qHjxHzcNkSzxDcpNUfaeBLRprbE4IWffV1kr4Zek8ayUZU868jlBTHdsCFz5QpjwAq7hOutOLeQJHC4atJFa4931egQbrdAUjRlaBzbhxYpyLagjURclnzxC9Z6nCNcPq/qnfymgTOBudHquEyZcYcw/fEJOw/O9vVgweJvOlBn4RQ3C8whfOo/SpPvPoS0jTe5Ob6PqP31dar80cXs3rjyRrrLcPTDuW0WeSN/TzX9jVslfjKMkFnKcjtzgxEMt+RVvrwaJZLPxXDsVXEeXoDCco2tNBY8aBohhiEUO6IZNZVYxdEMBbA3w1xg8B8otajYNgO0hPXdktTcyMAvJNplWvvcOeq1Qu6Z/Eb93VnbG9offhcA7KBmFRg=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1542924526

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

