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

%ISIZE%
36685824

%MD5SUM%
c8e088025914e06d3f3a34d284a166e1

%SHA256SUM%
b4e605ab927b0524590b64ee8149b36451469e6632811942914cb52ac4b505e6

%PGPSIG%
iQIzBAABCAAdFiEEddIvyekdD6dtYAcBaY2xzg1H6IsFAlpkr1oACgkQaY2xzg1H6Itpgw/+Kf4XxlksVIGVAwDG9nSddJzVjdmFgJyzGco3S8PmQTmRsZmY831rNInD4NEtBD9QlKg5U5ZyKJjbZfQxb439FP9oQSH+uanwaTHGqWWKaGeUcglBn9GQvl0V3I8B+iM2IFv0UjG4phV8WTftpQW1G3C/+kzSpQGG6oiK2xNshqvwJLXP7IucttpWpzEk4DQyuX17W+AStIUHL1pwSjBYrPFyRlCl7DJ2di4aYz0gVedsZHDd1A6l+3Fw5dgkbASfc3oTzy5vjrIoW+4FYbKa5QEnlAbZSwG4qv7bIlEfi8WFTYzbggwSyWXfKiJ0Ogf6dkj0cfpCeE74I/weCIfGV0QXfm7+D41DKVvjzEsH6PyAzTWE7sG/S5PagPj9ZOWv3nMjmXnwBoJhpWKpmPqnI4lNgYOZE0ijouv3FMaeHMtJq/H9wvKaJyNGQ3aMATdAt6z/9dYGBdf0pmoz8Rc+/gadGnTd/wJZp1JY7GIiX8Gs6IhoZj8CAaxTZp+zj4lYyL5va/tyivIpACRRlci2vX/2Gyr1GCNqu04fYhxGmv9hcHKFt8SZQFwRhZgo/ZayZvZmlMZ+BP6bC19oDP6l1D+TEo68hWLvaS3tv/V08jUtYdPmFgV59cJIjucztXs4PJ225eeqeHPYJ86dfu2qP152rDWUMjoo9KH8GanovNo=

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

%LICENSE%
CUSTOM

%ARCH%
any

%BUILDDATE%
1516547833

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

%DEPENDS%
python2

%MAKEDEPENDS%
python2-distribute

