%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%
201808

%ISIZE%
2090683

%MD5SUM%
be3c418b1e8ba5f203f52b2763f7ac4a

%SHA256SUM%
e4198e407394aff3897a65686efaaf5776d64c479735e5e67b193f7bcecebac6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG77xAACgkQdxk/FSvb5qZV4w//XeSFPJNzquEt0tT+ch+ey8GB52BB6V1thdnws5CQtbgPTEgnovIL2vrBNHJEKtvUm58uMgvvheUAzma3tDoe4ZCloWEgCr0dnX1rqLjsHQiU+zOhzzruIEE/lrHzSqB61JmSSDu5odOKah2XkozVq/Xtcx4sK06WavB8Up1AyLEevAry5AZT9gBEHDgRZQEwhNS/dvJuJPaC3kBZIX717qq75rEPCOr/oL+xYaHws6NuPUmDw/HQINHJQUNvO2O8j6SiUbpF7k5Z7cLE7A4QWfsXY1ihjWcgCZ8R9wfHsr5hIicdw8tqLSHGEWP90MXR0I6rDDnASMdDO3ukebzs6r0sxoJ0aNZoWHvYawVCtHjCChWe4HyGuCpiPTai0vWO6QKz7rdXL8liShBuLEcNYDMNfOT5eA2TRPa6jfaAIOa73d5LI5tRbo5ve3XTylgLY7CxiBZOqh5i3Kwt7B2GtJHCU47UkTh3txFMFERxmtm36l/HD13XYzBrZbmPEIfrDsb17FGMOQxqmZHkuNxKcxlXUXWeFhbNqwEX9wKL4Sd6VutlqkpICdVMCuMa/jNE2pIBpMWqt4EBRBDTgeq9ca2BpI9GvzmgCQUoCGgzApSXMpW0fkITF5FkWVzei62z/QoCHUpOtCkm+qjYw40KyRkdLA5I6b+BU6Ryi7O+hKY=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1639706360

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

