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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.4-2

%DESC%
High-performance theorem prover

%CSIZE%
10513432

%ISIZE%
36872192

%MD5SUM%
3a027151aab9a4d8770d14a8d00a81ac

%SHA256SUM%
354b7a6d09b7f486a54d4b8c3294b1f44f06eef94a84b1281a96f6900760726c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlyRO3gACgkQdxk/FSvb5qZQww/+IFDjM2aXNCp9YXq2LotXQzcuBwOibgKAogRXOjfxsYdOrUPXDGWxbu6pROoGUi9ThDkp31HYmEsjLtWcHC7ZUKA07Y6istWQbdHxPJPS/FSr2bWYSO2t8+Fl8qLqVs26ReKkEWBucDrdeVhqzqvLpgHbxIKDy4EFu27f0JIbbP1jxTQMydA5Khkf6E3zkXWjpKgOSnepI1UepMwhbf4ctI6ElwpdFfdL0D97pS1beBxJQCF+QdCJ+Ekq1vyHRx/xB1bpSk/okhjZhYVd0NqTiH7TP9s2yFD2piyLFR97O95wv0gCaB8VaF7CD32zCLcr2SBF9u2VG7SWjwLzGoEcI8/DqRPZPg1SPFAFY9vBFXH9xrSE26cnRPFtsbZhbpdIsl3t6JKD/VUn2VXzHsGw1sAJqBi9j2Lsj5cNVi4O4Ysbs+Ce/t+mnztvpiYsd8atNkKq3sKO7zyHjovqTECZnXKddYcuFThrgT6JxOcnab3tKVCqwLGlWsTtG2dmYT5cxAzrJDexXX4jIBpVB0sKsDEGfBQLgO1lwaAnt63ofLZYbExtqR1DXN7/1F8ndbKnHREamrnT6yYfn3PBUdhWLjtAqMYw3bwFGXkiDjoRS9RLf87LuqOKrYtAzE1oPfs0gPvnmm8am1pp1voT8qCWSli8JnTDVlt7oQQZXRfIgJ4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1553021417

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

