%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmQvEdYACgkQeGxj8zDXy5LuZQ//aWsEhM2NFAuGvs5Vw7FhmiS7gGnJ58csJoNXaR/R0iHAF7y9We105HHolldwQnszfHVS2AOqBjmub4HgjGxp8Pbx3sf9A/Vct8vmx00gLqo2mZmzvrpt1ln4xpuVv9Y2dQpM+HQFpl2G9VZON8Y+xkK8hh9QwcqJqd0/IdzOSf962sH5CKAg4JhQCDcjKh/XIZ06gSHHZ7zVIyLEjf7KK29mvIxtZuG5BFHXXL6cBUMEMVz/b+Z8Tn6nKrIlGmAeSprRr6JMpyJYudPd6jfLR2lGg3EBgH2+1kk1s0Lb12LDFwd7PE1NtAMB0lwkjL0+xQB1rcYdEOnBF08iSGj4QGMNb1GnGXyFBngidVlMMmO4EzEYSmgJIpP/xrYJKlqcZ0RZ3e0ikv/GidILiOSq1lLrszVHpaOKiZgO8FCT1/mRNUew5jj13FtHBpXKQaaKObIUMZEPjbdrmmPyuq3MfgX9JgbMaiFjG8mDIs/xduaIazA0jzpXWulGMUnTHGalH+geL4ZcK9uQQQxAv0634rxabossDhzPQMGTJNuH7NHQ3WKq7D1wL3rl/JbRyY+zDbz62wSAH/ds0IwcXvu40DyjSEUW34XvvEur1Ux4mSnua7sGyO5L8VxFyteMGKrE+mXa8xVM3J97AD7jiDay4GSM4Rd2viiesntkUtHcIgc=

%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

