%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/mmiUHkFAl5azRcACgkQdTO6/mmiUHnV5g/9GEr2q5cJfgc1CMh1MWD0FjX/JoSHubt8/A7pDFJyYUMNEpiKSs265w00kB8oompwleql0VyQUMFob95Av7F0alRgP5uUb9G3z9PNVoGI3WM/S9srTbIAFxtNWPVo2MqPysjH85i8qRAS6cxSwyWQV5t1A7gK2vxHNrREj3PTPVQIq6RRGPmsMkBN9q4ugsVPUI3SY7Dop5Ohor8mKGVtF5cdQLYuFiI4cE0XizUIMjoO39gYu3jhc5ve67b1GepuwTrD+VG1Kpnukn0eJviTD52IAc7QAVFt/yrUpGZV5XRqI6x9FnAWb0H3837qJJwGvMFbEtmcsrL+womnAAis42vcdQA4tylNKrnZ/OUvlvmmEx0R8FcJd2b5KEGxglzSR6bKBSVB1EsTuNzi3OfwDs26EEorRE21aD25Gal//IfM1dgYuG8BMZ/JRqCKI3lGzEWaJIhXIZTLs+RJS9kbc7BOaz5gbYlUDNiDppv1qZ3KDxaM0uZWtgrPDzlSk1uNgPXZSE00Tqqjx+K/0PNH5PJUWNYX+wZZJRjxy7+ovOlorZrasS+Z2ksb6HMj+bgHv0CRSVuWp8Gm61TDUiZjRrDm6Z/ndGEONFbP3cEs3frV7RVrzA6OzA+2FeOxlSVj2wmwGN9l2sRSTW2eJi1YmhvN5P/l0r0qlXK6IkkR4Oc=

%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

