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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
174804

%ISIZE%
1739773

%MD5SUM%
29ef48aaf1ba8a2b4ac4146a1b45b2b1

%SHA256SUM%
a592ea981637cbfdf208900d8d160a19613fbdf24b6177ca0146630f1e079b07

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64ffkACgkQdxk/FSvb5qZrWxAAu6CM2GbEpOfOe8K5KsZtdAiPknrN63qmXztEdFv7qtVT8ZQl6+GsmLli5zx7iRg7B1Ejf29c9u4i2AP0cpiuUcM65Fq9Mcev5BsiMBPFPvj3T2BlXrvVXe7xe8CjIjkCP7vMcWxsgBjJoeNxU3R4CrKUcswL7qmLKEqJ9ooMyYkroYcDZxbN5XKiNaUvjGKV31Sl2dSVdEKhs9ny0DWgHbXj2J1q82mopneif27STT1W/nQys92qEj4sLVFWGGvXZ1VqDkusEQV3VPXT/zggSqkwAqHAg8q1SPjNZuKX45maCLWGYOhG7QXMTyJoHFlKpSR/6RSxBfWffHglV+fArkRUFHR8NpYme1IJZzxxejyP1jDiL0mc/B2BdrTvmSfuwefo2GuqyB057R0mt3FjXOkUglNiqouBePov3InIaqPA0TFZg+s9O/mEdPp/xjgUNRY8qGqhvhDWJRFbGyhjOTMTa673UM+nCqsZpKkDuFrLghJ6/j8a+qZubsdD8ictz4TH+4dnkxaL0wMf+8AglgCloUTsfkbMzcwKravsVV6Ob/qehid/xsg1ycORs+GRWcIU9Pstc+Ie8EypfrWXA/kPlKeSdrRWYp3XV892ogon6h4BD/ld6HVly01j6Q95pevrtfKg89kbY9enh+Gy2UvZ5NLrjRUmAgw7koJJSKM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1589148738

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

