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

%ISIZE%
2090683

%MD5SUM%
17ed7a36c3a2d79cc0f808367b35cff4

%SHA256SUM%
cb57482b44ecbfee4f7331c70c7659c956235d0ba1106f9c350abe7086091a4f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG5IFkACgkQdxk/FSvb5qbyDhAAsdPhd/W3BLBqe2IQsJ+PohiKsYO7KWyhkiOeX2N2Bkn5AfH8AdGRtigJVNBrTcRIO4xV2swS42BcPOu+g5LbQorgqQ+MOUZJEXMaPQOi+gjGS5oxQthmNydu1kSAh0Qdva7Haz09NTG4enk1+7Jp04xYVN08pwddVsizopD37x4Fwx7Q42qS//THlsnna4L6x4avn7z54Wk9ov5pJKfC+fTeUVnlKPS47XphIeA3myixPokOf9ypCfUA2UPjPdZVRK1NuFlZyG8oSx8lVsMcOJAWvixtv+LUlH7rlcaKU1krs3rJ3nkqK2cANcubVb4OpgGZ0bDQu/m6tWSDCvZNz1oXxeSLH8UzABWS768yTlem7opXtd8lvhdEg5O74/IcBdqf4UT7O64eJ0y9ADr1lXMzIgfecgHZJYd+my/oMnczapJxDE4X0AiB73SkF0uGrpyBo3KEAeK4RLcFJccjAHiYE0bJYYCcaxH/r5XD3uvZNcYIgAmD/AReaMopAciwYVQX8XK+s06K230CL9KWkw+ryI1z2Xo2DvlbgkCXSUC5qr508fABnps2A75ee4i8ti2zp+NMNUUXwS2SF+bgpXD+AYRXDT3V7T+kT5Cl8PlrIAyFnmP76Aa3/8aQAHkGrY2dzBXF1nlY0bh0XqZ9T/dz7QNNgQuQLx8Y5dR7HqA=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1639522369

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

