%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEF8ACgkQrx0hme8KPM92hxAA3pPB0dyOXN6A2/yYBUlDDQC8OS908z7Kd5QsZxVdEHBeMSoT71OTNR0zWpYa+ZHESIXdjpJPi2lUsJl1gqFxbBRWoEbzEnbSApNiOTwNHm8cuO1bAqmA3a2wSALmPD0QJGr2FDKB3FEULt9ZdvzIesPDuIJnBsL0KubZwOQq1hjCUACC7UwuJmOERCmHBAFHiR7k7hdr33xfKtZ826Ya0ZxF3YGxUjmSmyCpqtwL8SPN50w3WqTdDSabRooinzhPPJfdxYd9u8avVYoOgwG0R1IpSPK8QZd27CKW9MxSNeioUSaE2w1q1oROLx+1dmIGMleZvbHc+2QkHZqHF+1OL/WbI8BZT6jBSA1FRwPkJCM8MKAy1hZJf+GhtrbVOrCtDNz3qLNOKRzEuXwk1Wfh72ppwgGqnwarpASZtKA79KIop0jeQm9FqFxlS5/uBgq97K/AFt7ToAeLkYHIeBT8fYI6xOw21qeSQWj381itqar2TLtf+mWJNb4QUD4260Anv6qBjs9plMERxGzZ9z2cvAwRNjMWv2BEgW0iOYMr4bBAfO96OzmAAKPhGr7QoVHmM6tB8N24c3Zxw0UPk1oayX+1NBPEhDUVrxmiff1NNql1c0VUNjvIOS/17JXJaTxz5sQPFQqEIX2M6XfkYPCW4DeDLv9D0AwZc5q+9Bz3EeI=

%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

