%FILENAME%
python-simplesat-0.8.2-5-any.pkg.tar.zst

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-5

%DESC%
SAT solver for use in Enstaller, based on the MiniSat implementation

%CSIZE%
215220

%ISIZE%
2090793

%MD5SUM%
e898a1d721b4f16bcbfb0c45da6b26d8

%SHA256SUM%
c66445d3417b1256903674bee62688c5dcd0fb960b6d030391f5fadf6c4f9cb9

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhOJEUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYrtBAAvaUs+btbLAgiah8b4XiNl/ttoG5P8/oc/SdoGJ/lAritGLzcWxUGkSraO8kSCqdBLMa+Aer56NDMlAB4osj7+kJ4B1VYF6abSiW89WJOxS0K+9FEydxxfIoHRaXWM4RVvEfc2DeJ6Mm1piQl5aOvmQnw6vR/dIx9F6G4jVcXjv7XqPf/7mI3vW5DTUKz05Wl/b1dxtcKpmqrhjxUEJPMHXjBGtajguVH9Rmy2/FpCGEvEOvRzVeTb4GNuIK3RpEnlYZ+qgy3yFmUnJ2zrROz59Gt95c5Z0zpQ+See0rk7poLsJJhB9eolJCKUOp0zbjoFnjBKNz6mPWHX+GXjxNt6XnFPwdgeNb3UzynC0zGn8yp1v8Ap8Hmj0ST79uWSYQWORFdty3mYDLpMVSvU3cIBHL+q/vZCcfICW/baTf7LV5XZCKLzyXONL3o3jDYAhjpT1y5cnvGFzmnX3bdV3lDS15VUEl0z/+35+JXbBxcuYzFkI+zr9LhvvSHwRT5IG5Ss+2nbPAAZHDM7mlo7+D2XzAHy/pRIVPvDQ81N6eko5saJyHaWbRq29SCdl3gWsu9lDGe29v8283zU+PNjzQh18OkFAOf5/gfuLc1If6qpfJXkuRDWPBrn8TPdgGAJWGIAyk8xOpMTgGW0SpuVb3S2vq3dGD5TzLIP9FTrkBHi8U=

%URL%
https://github.com/enthought/sat-solver

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1638482055

%PACKAGER%
Evangelos Foutras <foutrelis@archlinux.org>

%DEPENDS%
python
python-attrs
python-okonomiyaki
python-six

%MAKEDEPENDS%
git
python-setuptools

