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

%ISIZE%
42423296

%MD5SUM%
6ae18d0b31921b808a402eafb87e4395

%SHA256SUM%
fc432fb3a87e240fb678bba06cdaa1c96524b87e19dc395cfaa0c5e5fcbc2464

%PGPSIG%
iQIzBAABCAAdFiEEnV8cBR0UaEPNpIWL3mSCXny8DVEFAlpksPwACgkQ3mSCXny8DVFJBRAAzLxYofomnsmPeooOhvFxp4F4fTUrwmW7ebiu3IrRDiINdT84l93Sihixs03AXlrvd404kzh9Lf2Wt8uRoLcFW7foF+tua1ZK3ZgHFUzx5aMapc9dWvAqS76ztS7n+ioXQyReIfKEjhjV/Y579gchhx33pEOGtW9ZOgv9MZIgrE5No9d/HVCiemkAbLKG1ep40APZjXFo28ZsPzvswXMJfiNNDSV92nCXirqprk19Sal50+Zq4UQkkD1TlF2idvt88eOs7dfPSYhmZ+vj4W8mNWHPr66+D0BDaRVISsht3GFsdrwZDnrGReZtPCV7NQDQpC/LyJzd2A3WuqKA2UKVrtxcCttboYbZmnebUVMXjXHJ1AgifO/1VVEhcyPgZvg2ktr/uNEflj66H17ODQtYsR9LBm7E1eHVTgc8k8gZoU3yYFaqLH8q+JuBr9RLZDdHpSumdLAQTkUIYTrItf58T60GgEdJAiE7XtqTNrL/WCOD1zffkdN1o09HAGKIFr3Utel3vY+gEYrL/QuQV0xHH0ohgkk1zAuwTwIRIsGCRqJnTIxXdzGM4MHs/OYuy2jjpAiZLPbNRPtnT+uG93+Ywo6ILrgB0gSL85ZCPZRmVCGz6q4PrMY5F7qbDtEOWAHZXhsICwg7wgk+iLlA8a1EeYZRaWHThU/rIsH3IkgrtWc=

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

%LICENSE%
CUSTOM

%ARCH%
any

%BUILDDATE%
1516548305

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

%DEPENDS%
python2

%MAKEDEPENDS%
python2-distribute

