%FILENAME%
z3-codeplex-4.5.0-2-aarch64.pkg.tar.xz

%NAME%
z3-codeplex

%VERSION%
4.5.0-2

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

%CSIZE%
9489580

%ISIZE%
34426880

%MD5SUM%
77e01579f430c028f871705c059873d1

%SHA256SUM%
8a3f962e4372c1a9fd9cdb4827e37170f7cef088d49d4f02a233e239e881756a

%PGPSIG%
iQIzBAABCAAdFiEEJoT/r6yopVScVNqQfdtd4So/UhMFAljWE7wACgkQfdtd4So/UhPrHhAAkMP1JDtH3EgaUke8mQSvfi/qnqBgpu9MjfdP4U1IEGHXu72LcvtYv+FuF0nVw3SYWw+bbGyN+zjP4b2nLFW2hYd3h4Ivas+G2SrGHHbats7hyL5eNQWMQ3yMqivtbLnLfn4ZKJ0prsbDCCuox0OeZA73+kW0IMLqt7Yp/engvTQJHPhdxF+ypa7UcP6CsbHN26/vtI3+bAVzFARnPMSB02SgDdAEiHm1enuDaE71Vmntp+cXWhL0tHB54deEyLyoMRqEKWD98b8lZniMsw2xgszPD/N6WqEWWZkHL36zdkMEPK4nhm74aHIRLqmJglcbBOEZw8stnZC8p8UjBdREVGWRmD3/dl9nTEN5hx/qSHHXb78EqEg3Y7YUAu2HjfdtVNtaxoEFF4YtJg4q8GtVeYXiOGsjLJ7+yYw2oPm7Ic7h0PMO2Plc6whqk3oxEa6uVAMLEjYvoSQNNf/OtjFcpeFM/2jpASBGCImrFssn9iQbbGOnVxGIPmC+OOZLwaOQU23T6DWePeB8YzsOIoESqLhujhyC7x7XDnBYrmI9Q/UPJ4R4zapg5m7FBLGa1wW7UWnpCOmd31KBHEsYeBLrMGFhm1FMCKLTecwb3ELbB/HiTlLRQsWi/jArJ+Z1K4rwiBeZsNxLaV8UsYlRrV8l87K+hEGkIHDh3Y8iJv3jyDg=

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

%LICENSE%
custom

%ARCH%
aarch64

%BUILDDATE%
1490424680

%PACKAGER%
Unknown Packager

%DEPENDS%
gcc-libs

%MAKEDEPENDS%
python2
cmake

