%FILENAME%
z3-codeplex-4.7.1-1-aarch64.pkg.tar.xz

%NAME%
z3-codeplex

%BASE%
z3-codeplex

%VERSION%
4.7.1-1

%DESC%
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Codeplex sources, libraries only)

%CSIZE%
11239056

%ISIZE%
39996416

%MD5SUM%
721435ef137e481f5a9bdacb3622e85d

%SHA256SUM%
f0f2ee8c66ec465e55c0070cfa8af716369e42320cd0bda2f6ae55fceb21289f

%PGPSIG%
iQIzBAABCAAdFiEEnV8cBR0UaEPNpIWL3mSCXny8DVEFAlserCAACgkQ3mSCXny8DVHGFxAAz8nPuRKxsnlrCjiRFSDiUdwq9nPX5U0Y6VO2Kq6BLR3q9Zvvwnd+iu/vTFjzVQupySHS/iIS0WH/LK5hp6l0o1NWksSSZ9++CUY88A8MRVFSnrlNNAmm/qI35loTJA6hoOQAnAyqsqTkcG+NeN9gFkcvJCB+fbMN2+gLy84k9+Ud6mHQOVUxhAOMHp43KwX1MFIuJQSjQgECiK+w8THMr4JcaH6e8m8su95tdFoZual5qkutUSBpkD5ANcN3JwtI0RUQnqdpIr9wAqJHH8at7wrHBsp8KKktlu6ZFgL8WuduXlxMbSPl4XNVpqolNM096KCOM1jAqP7j7F/gJATf2jmAc8wR0EWLDI8J86VuBLTWre07g4lmgUaXJMmN8abxrwqcdJGmneL8fDzsZoWWKLnhwXY521WqXc0WhkYwgyxteb8KiwzpfWEeditiFrkfplBi3b7+SJ8AJAUxFbwudIxCGCVXNMnvtwQAdY2NMEeiwMbOKLfBFdxDmnCxFKS/voQL8xXDWCTiBslrYD9aPo1YCHEoNe9SNXM9swCfVsR/aPsLAJ8OyKIx0QOro8tmeUjc0eNctAZrQRVEonqwBtgevQ5GOoC3wP6M7XT4qVyDa7OfdUIMLalWHvTlrqzTffPx5XOdzulVAbpeNF5BnlsxZ/zoMss/gR6u1+1rfCA=

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

%LICENSE%
custom

%ARCH%
aarch64

%BUILDDATE%
1528721572

%PACKAGER%
Unknown Packager

%DEPENDS%
gcc-libs

%MAKEDEPENDS%
python2
cmake

