%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%
9852176

%ISIZE%
36739072

%MD5SUM%
bf5d9779ca24023082928466ede2737c

%SHA256SUM%
79274293c868b0aaab98d4dd719f556fe9e4d8fefa68aaec6a228a4b07af06ba

%PGPSIG%
iQIzBAABCAAdFiEEddIvyekdD6dtYAcBaY2xzg1H6IsFAlpkqWcACgkQaY2xzg1H6IsUaBAAnseWJaCeP60GqIl16AWhdbkfSwWjLmHsKHO7Ilr0Vmi1Suestn6/9XGhxwkal6KWZQWEn3bN6MlrBdFOm8nEn9JuHJW2e6IQ1Ontk+PPcwE+o/S2YQq0CEpHSWRAK4hwUFS2B9UA8NfKbzUW856lpZdSXOTPXGlf0N0nuU+Azp6+Wc4+FhMQPxICXkR6hOpPMREw2KznGNAQNrE3hFgmCUNvr+nD6dDssA8K0/+UJ5GbK4/yc2mhEO9at+i/o0e4j0SIEp36RMcR1gceewdJgY3MNKAGIoRmvhZLJhXIXlSoMTGz1a3NFUv5lN2hkwIPJBGsXUs+zdwW4oZvuk0A3JJPeSvVr3S1jKN0UJ/d/VN8QvCb0Q4VAHWBd5wjxsnXfXFrW/sucl1djlHVJvrbcBFcw+cgX7J2t0itE2v5OoyNKagemBON9KPhSh8tibHLb5SvpqStH/PFza1S5DSOIru2FHKM+hQUqU5QrfVMAU4msz9lB0T271/kn5FA/6T3ceLn0Ir0tacyqAlc3Ms5EDduZkM2NXZnkpe6wVHkAVYDT7Yk0NDqKwmwIRkdXZdPJGPwKOpAaS2u+02idmDRzNBRre725nERnIiYHgNa8ft8qS+0BwmE1y4bItz0RhhrcyvH0AjX0GPIzXvi6NLjuX6Xv6Vo5aNBy18HJbrLIok=

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

%LICENSE%
CUSTOM

%ARCH%
any

%BUILDDATE%
1516546339

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

%DEPENDS%
python2

%MAKEDEPENDS%
python2-distribute

