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

%ISIZE%
40330240

%MD5SUM%
b62a691b1cf05a3ed0e951ee9892d10c

%SHA256SUM%
0381d773a586ac288b95d279dd7115511ca2033450bf47181947f4c5bfabeb03

%PGPSIG%
iQIzBAABCAAdFiEEddIvyekdD6dtYAcBaY2xzg1H6IsFAlpkurcACgkQaY2xzg1H6Itlhg/8D3oCelMta6tIHJrYzRWWyfEM3uUYXVPyjTzO5fvd3XFMEQcK3wVQPFAlM2Oge28eUtOWwCil4ZOvgwQ6kvyfgauDv4PyXKLPzDTj+zNoFr9llwU3EnUOtb5fvNYo8ccEc48nFzEURso86iVKp3Or1NQOF+Fcb8oY9Y8Ab7NllMxOSGiwTJyZzSkH62nNzBCCD7yS2FElVw60UArb8ZpqpXyv1cai8Q8mC0ct4SxN13CsJO1IESfmeXLCnWuseU8wyg2HQjQaMAAoNNxy4ywc/cASUsI0i7cf+dH38CPnh5iG9U8XF04znuiBD1ThqvcGowZuKkQuFvP+nzf+Yz63P2VtJkVwgCDyyeU/BUikM6SycnLvANdA1qULDt6uv3HMjLqlLahq8C4YR6+HDzD7ZQsm3AfBZjpU6InwmxhrTaCJ09hoZEl0wEUNZYCzmWVPIDjMfp0lBUaHEko4vOYGcXySTTDdNgkVuuksTyuRTalssKpeeUHRtS2SvwZMXZGwq1+/DZEssMD5No34xfC9opnQdb6gsMG+Oi4dzPIEnAd/DUuBWCAwEI6CfJ3sET7q5nMpk8V0lG/oEoPrbGKf8D3NTgVm4ZGMu+M0S8pUZxZ13vOatPlTxtxO+uZA5eWNUF6K7bgbaPkoKhJheXhBvbHFJMiwWbtG9i97N9dzVmY=

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

%LICENSE%
CUSTOM

%ARCH%
any

%BUILDDATE%
1516550735

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

%DEPENDS%
python2

%MAKEDEPENDS%
python2-distribute

