%FILENAME%
python-simplesat-0.8.2-3-any.pkg.tar.xz

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-3

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

%CSIZE%
199392

%ISIZE%
2096400

%MD5SUM%
a017b9f05dbccb3779a82ead8af3d240

%SHA256SUM%
e1d0d8c2d35a9c67ca8010a5211366cf6f178d738f7032e67b6cd8e22b7394e3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/JPtwACgkQdxk/FSvb5qa1nw//TYwfyhDihAsbdz1wHf3eDhclqkj/jRKU2ZRCEXSKGhs6xQWzs9PbxpKP1gbxx6NELufz3q30n6BP60M/ETkqkzfmFFXn1nwhOV+/YGL9oh+Fm/T/TrxUVM9AewqwyBj1gGkBWc73ewPWZqW2StvtybeM5kArEwO4IlT8Pe21FBiL5tj6jEZpmuFsaTyanoja06P2CAsLHsF1NT6hyg5X+SgQrjZG/qojv9gQkhHdG+hkfRK07d62GLTlW0apJ58utk9oBnIJFiupyUzyB8MGAN0Cwg3dPWQFJposhQEAsW5o4y+A4VgQczyFFYHW7b33r68DYLHJnhuuSiA0S5lhAO+nFCfhbpz2MdMgFdQmSyqtjA8krXgAr9fKkXNvnGojuEnwp2KYMdqKVegHrxcMB63m+MPfKiE3dixsQBIWhmEKjYRB1SzNl0W+eXvOKxHtu8iAxEOQfxlSPhtPdynJ/bcV/KtB9yKnJ/a/uhsdfNsAH/CVFzMKw6fZkocBve3bzaMaWNlDAInwoncXoTg94uoVcWpoUvuEtq7G4GKWGyab02JVh6sysWQpRyVilwkkYK2dWpn7E8j5WP9kP0HJ1A1dgr+T49HRvR65BFqyjewZDyolNg+lQa+rmlCe0uzmozbmIj0J2twmY0lvS5jel0uyww6lgcOEfqFf45Qbhyg=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1607024329

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

