%FILENAME%
z3-codeplex-4.5.0-2-armv6h.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%
8404304

%ISIZE%
31449088

%MD5SUM%
8c8514404c3bf11f8c45c370faa343db

%SHA256SUM%
27f270bf17de948a34358237b2b2b0f1f493e1f2cb8ba74dc80d225ccc9836f8

%PGPSIG%
iQIzBAABCAAdFiEEddIvyekdD6dtYAcBaY2xzg1H6IsFAljVd64ACgkQaY2xzg1H6ItKtw//ekxiMFNAUhm409EmE7Jsga5XmfY5gZvRHWLkCBIpvc5TS6sp51Yra9RuPsDAm8HFkNlXh1aRp/gmDk3NT6GdJfV66CgDaNGJ+3EvaGZFQY/a19mUUlaBo3/CcaP9fPyxKExnvd4VmPp9ysW+Rv3kYAdh0Ym3Xy06U8lWeNgaD3WMl68UY846b7xhbnxvVktSI/rHgRIQGQ04yK0mjCH9dcTqzfALTAXgZvjjFCLnFpLs7yC45Ja8uL2a5QNt10G3czM94l8PHLTOSdStnzrQ58a71uhQWe7vRuZvyGVt/SXSfpWozoxuWMqq3bKh6Awko6uP38OTQ/gJvE3wAaUvcsyKBpcmTpD05r8jHgTeLYxRih9px3Jji9+5RjXVFJSWnTxo5MlhpW8t11DFXeJ29Q0mVNu91NCET/lYbvSCxWN5HAnTJVwb+k5cAoTwXNLQMGO8n9AwbsYh1BFoKtRD4z7iCoaC+v21ErSdGS0u/iKgy2i7PIThbPFYKsjtPtMT8E2fhYkKGjlpQgq5ESZejQuekE5sLL6WS8lyOC8QIUDXV7jA+2/Nr3//wpGk3ioM2BFABDOwUPiitKUUaRJ3vrAWhzjBMZcmK50jhEXjQy6etYHhMSfDBIug+Ctvb4BYmypvRXYrOy9oBPwrf/A8u8CScv0uZQg5c+582V+PC1c=

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

%LICENSE%
custom

%ARCH%
armv6h

%BUILDDATE%
1490384728

%PACKAGER%
Mike Henze <cthulu201@archstrike.org>

%DEPENDS%
gcc-libs

%MAKEDEPENDS%
python2
cmake

