%FILENAME%
python2-z3-4.8.5-1-aarch64.pkg.tar.xz

%NAME%
python2-z3

%BASE%
python2-z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover.

%CSIZE%
170748

%ISIZE%
2037760

%MD5SUM%
e0eb3c563f004dd696405f00a1bdc498

%SHA256SUM%
112f301f6a7618ccb4dda8dc265390ffd81484face565f75c3440f3c9461792b

%PGPSIG%
iQIzBAABCAAdFiEE+abminETVNhKm5FjdTO6/mmiUHkFAl0PL3AACgkQdTO6/mmiUHnUCw/+IDrgnN9/PQdZ9DcBdr/rIZomucqxZ7/b16s4y2SnChnZFQGztMVp5aup8i/uDvH8HZ+suMaTg63zdsvOFTZzimGi1RA+3RMu7NQnKhUdE8QmXxJf8+4eErymT24vMOAryWq5ywgjoK/tRq4LRWYQUUHmFwTBE7dud4meoPPAoQ3q0I0/kBAoavfRfKs8mqrWPfxsG7OaT2UQFgkKS7AVwmvGAwa+o/6CBhz67r+b8n60oxihEENLOq8uf+LCAF/2/MNQcAvkx55S7CCTJ6oiWT+K+yFxpgO1JCbCiDkieU3/7x7cMeS2Or2ibm6hFqQ+PRZHPCYXUaaUIEqJkQwLldLohfcxpPcdqZUQjeMEXdaWpVsCMAvtIhqK0Vn1h1zTOJOkdLPsgKHXmb3qsAT+OeIkJ5xRSqETjnvVqQGQiWIYn6BU8nwytkAq71HKWlRPxrZcve34hBO7SJrqhvumKWnJC6sxjfX5GXIJxR9oxwc9vlFw0L4rq0zp2FDCgbLHqQHdvsysvZLxJuHxXX0EP2JaPBU3Hr4SrRmKh0PoEmYbm78XvxhRKJVrF2FuSvsWeksfKeP8Er3McLq/HsgZiQupI2R16xSXQUTLLaenHXVdHfsJofV7Rtj/8TFTMn6vFt6tKO1o9J3+3Xz5efaogkUkYNtNdsUN4erBarxIZaQ=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1561259563

%PACKAGER%
Unknown Packager

%DEPENDS%
python2
libz3

%MAKEDEPENDS%
cmake
python2
python2-setuptools
gcc-libs
gmp

