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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-6

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

%CSIZE%
254844

%ISIZE%
2518598

%MD5SUM%
60813249bcbc35b5880cff156de53098

%SHA256SUM%
487d5324d84b6d68a533b948df7266504feba69791774c30ab2c57d63013fed1

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CrUACgkQrx0hme8KPM+yPQ/9GPnku3VwY5Ppf21nODx+xSpyRqAjQhrnNr79/Sggk3pUI8zEWEvX074027RVo3lkDdr2iJdrOCTsD2lhtcTfrJiYBTRFEsY9eCqZZmgCyDEtJIUugViZBJBr1qE5kJwIuc7vlj/i3ol3MDqSz+4ef75qZy+YdeYGDT4V0vifhgz3GuBIVccMy8ozDBqO6zHmH7dzeOewGqfcpZ6CcsFD7v0dNMWxTN+3gLbvLBqj7bZ7e4P4SMYiO8TV3gvCiIez/+So8gu5+eDpNItwIgMwX9Jqiknb61wQDKbx/YAxMnDgxAXzHXiGzBfRz9AzF0pkeCs35pXkx5yc9BmbNnpu/wMC8BMPH4dCeJSPXT9DHNIqUWEuglOOLG+ePZs3846X9Lst5aLcQKOksswZEEcGmbxUQWumLrP/y7B1iTECRQ4EjxLy55moTYd88faVqbWbgPy275wdpkgGHzLP+ggwkavHmJmaN3Oru/VVUWG/aladqbR6+QvSFJCnXMm8AYqjBLzwuTlgCBk4HzePF82ZMaL0uvFgEoS+XXMWrTqFMffC0hXYaV4te29oGn1jw1KbifYrLFHdOPBgrFA0XfuooIyqIh69m0K14BMjE85PVnU+LsQlCbfCAB6HalFjFKgvqZ/ab91bLfLm6JnJFjgs52asnOPHQgKnK9Aa82ik9xc=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1680806326

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

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

%MAKEDEPENDS%
git
python-setuptools

