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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-6

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

%CSIZE%
237872

%ISIZE%
2518598

%MD5SUM%
66e4ebce656aa0e6d1b4cb459c606365

%SHA256SUM%
b7f66b4bc95fba8a4c6b4d39d42cf34dd74b36f8cb35a2b78b85129fdedf9666

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRYYS4ACgkQdxk/FSvb5qZWeg//QfzuvAQGwvvcynu6tUymbWw6V9GPtP/djhqO99S31/920QbBbm1tbzw/PrYMLMfTUWsBGOww3ElPio9Elw7vokSqFGrgu3FVONtwEITo5jtJm2lvXwxj9K4QaB7wNJhmZ73B4SBXyVf8HCkhJMsFxvnkSzpkD25bl2smJSS6z5tWWzeSqRZ6WQYRlvf4F39uYL9L6o6IKc4tNEj/cQQOx7DaKfD1aDORu3LTlUpzqn8UgZfhX/15+PRdgZVM9foA/eHUESQ/lVZyAE9dSsa6qwXL8dlT7vZM9GoD5ytDadWg90+8i7oq7o94S70gyhAO4TvN3YJ8k4eWOgLGOWH2lT0nrC+12JlJbWSfSGBYnIQK1E599KyPlduWDquEz5XcXKpSr4CRLPtI4S2hKvRhHm67Ns8FD4vRVgAHrprERuN72kgRyUdcLK5KLAKXM6gEEZq/hs0841QxcxGTcJj6CDETvy5qzwiLzylD3EVLuRG41/D0muYsvIdmcsM7UJsYAMf58xykZwxM38azS93DJ2F0p0kwl+ErJUfUgm5gFv8g3ftfeOl8H1r2cfoysw9l+ov+wlHFvw83A0ZwVq9QQ23ZHzRfGOIccwferTyEMDUWLABLKdF8sJy546gqOoDestRH+s0z7SQ/r5cuUWyFDoa2guwbeZxH+VlWMjUjDtA=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1683513613

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

