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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-5

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

%CSIZE%
201888

%ISIZE%
2090683

%MD5SUM%
98cd39d8dfb2763c003de7ac2b8118ae

%SHA256SUM%
690a42e3197859b81df93df8effb10d3a69ee502b5aa17f467d0d6165f4afb59

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG65n0ACgkQdxk/FSvb5qYWVxAAh2xBTljjQYgwmvWy73JH5aNKVx3JabCi0HQZf6inGKaIWXKzxbmAdXeymEk9AByw4kCCQ+BhVT22O6KRcIS4B2VndMoPXCI8gww8VAnQvN9uBB/uFLqwrhOmlD9kZYv8z6MhxXoAP6/JdVFHRSKTI9E6P2BSJ1HJ9tXZvVPy1O22oGgzpEjkOPOtHwg8H9KF0wRNj4tVSWQlksBA61KIwdgNeYXZUTQvcoHb+hmT11+hjdCVxR+QEwWXiP+o3k/JFbqKc13pSkhT0Qhy9xOWN98RVoAqowEXBi9sLq9ZV6QBIg+w6KGkVzDOxUgHkt7y+EjJtZLqiGP8UGnzmd2ZtKvdGlIE525oNMX3/OdPpMrRqSSxXMau4fZFaFjXEtNu49Q6EvgP2TEi4ya6QtLBh6I0mP5Weu6dNwXpRg9CXnO1s/Hq1yUjgeetcsROatb0R+S/f33aWaW5Ah3F0iWbthJMWsHPj3aI9Nb7lqkdazC8pG2DQGPPDFVCjZ1YJZpgccTAFJ1sW8OZVpPZvrWz5KTmY3I5Qr9TiF++YkQvAmxS3c/989OkhgSYZbwra7McvDZ6DPeKBji4ea7vQ4AGzqUUb8+F7QmkZAjNh2xTqiuamyzjfJ2kEE1oqynldqZjyXjtmoAUPjS8F/R6LQS41Xut9hfhLRuIaQypr6uO8gI=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1639638627

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

