%FILENAME%
python2-z3-solver-4.5.1.0.post2-1-any.pkg.tar.xz

%NAME%
python2-z3-solver

%VERSION%
4.5.1.0.post2-1

%DESC%
an efficient SMT solver library

%CSIZE%
13749196

%ISIZE%
45830144

%MD5SUM%
ea10017fe99c6f0595507bedf6d46c9d

%SHA256SUM%
ccede12359e0601956df191364a0eae939c56a45ad590cc498f72383f39d339f

%PGPSIG%
iQIzBAABCAAdFiEEnV8cBR0UaEPNpIWL3mSCXny8DVEFAlpkqcAACgkQ3mSCXny8DVElRQ/7BiYTeuGAySjL9BIGy7CK25W4p6BDxgzA4cXw/F2alzvn+FNzWRHHpR9nXtKWbWp9YssZSaJagNWLvXdxQ8nxIjlYvMd4EwwXd6JM3uCMzmVwt7p8IxhbTmBjyomfo3zE5JjkiakXB41zEgCJL//U8vjFReKaoUpJ5jiqaPgxCxyYNTpyEm4Ye2YpwUHJZU6w3iDUZBHI/Tq+T140qQi/u3LYhDbiugM5Ef5HjT4PfLFPLnHe72Q/tiMXgcklnEWXSYQeAjlFn7dKfS3ivr6PHB5AtRzGwKQPq75uCIOPi8+xlRkVnILEJz4N9KH3VnloVbJWvplimaspgpn3jc2Fb8n2gTweLnl8hL7tTleuVvGzYT0oYtJudrWaHPSObE39cTymEB8V49LcdUFHYbTSnVP3PL0duu+2OICH64fHIIsW/kqc4C+pYcFIotiSbAEtdE6wPgDyQeQRezH02WIOgrV7r4Nz3T/N4UYU0L2b/GmOnR19c/y3it89jYwrYbGxhWk0tBKu6ScwTJBsIn3acy3N9SOSYAVQP6PP8JTCn3QpRWIegjD5ATOFef5o0BU24iWEvUCuSfcIq8OdD7yq1laBwAZ8/TZkRFacs49/IaD6pnRfmrKIp+bbMP5mxiFAwxNSUp52b73l0+9Jpmkoc/roereGlXQk3+dgyMSf6rQ=

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

%LICENSE%
CUSTOM

%ARCH%
any

%BUILDDATE%
1516546456

%PACKAGER%
Kevin MacMartin <prurigro@archstrike.org>

%DEPENDS%
python2

%MAKEDEPENDS%
python2-distribute

