%FILENAME%
python2-pysmt-0.8.0-1-any.pkg.tar.zst

%NAME%
python2-pysmt

%BASE%
python-pysmt

%VERSION%
0.8.0-1

%DESC%
A solver-agnostic library for SMT Formulae manipulation and solving.

%CSIZE%
449513

%ISIZE%
3809851

%MD5SUM%
870ae1bcba3cb2bcbb6d9fd8848a15ea

%SHA256SUM%
ea9e3d0975f35b82d9b9e5fb73f53e78044cba048348b7bc2aa6b2ccc33d526d

%PGPSIG%
iQIzBAABCAAdFiEE+abminETVNhKm5FjdTO6/mmiUHkFAl5azRsACgkQdTO6/mmiUHkvBA//YDmQ2Hw3BXYgbJ68/eTx5bwPt65BMEycW8MecH3MktcBBVtTY4cWSHdMzesDjyJKXljKCgt8rhRpMPiRqeGUz3OX2J4KZuTH+xK7Jd3TdnIlTv8EAxV8b6VPEwhBPEL6Bo5B3iM6YzOpe6/7G//QDfVjN3DWIJ17nUlIHy4BBNcd3pzW8C3713F3JhhWIkA4BovZsbebvrSz1ZZKaUnGhI3mWAft8Wh+dOALMfiBdIllUIAIT42LRfNNu4ZOYTJXgKaDzJ2As2rAgW1jPIdsJI9tR2P9k/ZZ3uz1vbRzpXPnUfngf2z+uYK29kjmnruD35+QNtgrfLoWZWmh1KDChemxJCTaFr83peYgH4QNNNFAjVChZHtrnDj5K/3pmq94XpCpb8w33V8XnpwRyE/z+k/K5JBuKPfy4x+UxaHpOcnp6icUGBQZihTa3MPtoYX9kmARfMJi8SS3WbfAfmapAFHBE0mjvsmq0DpSPcHNk67Czbcm3iU/I1GKfAeAYKIEiRexiFHbPWmUo6++bGS6SvW60jj9VZcPsXREurnuMPG5UKoGyq0mWSfifjsPtZUFBTLMsVhI494E2SEuLhkGDBeoFNomTNQUgBLMu7os+khf9x0CsILh0IDwPchiXeLV7z9a6KsweBSfJQbELQXeIsQPh8j3wmGK1PN7/CzXdng=

%URL%
https://pypi.org/project/pysmt/#files

%LICENSE%
APACHE

%ARCH%
any

%BUILDDATE%
1583009016

%PACKAGER%
Levon Kayan <noptrix@nullsecurity.net>

%DEPENDS%
python2

%MAKEDEPENDS%
python2-setuptools
python-setuptools

