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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-7

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

%CSIZE%
228104

%ISIZE%
2394346

%MD5SUM%
20c673d4d58dee1532f7e1f810a09026

%SHA256SUM%
a14222feca32399b7580199f8f7deb5691227d7859d5131b5c17e031ea8928a4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYu+wcACgkQdxk/FSvb5qa4uQ/7BPZEIUNOKwg2v5AoN5Am80dMgasF//SrdiYEEkLtcya2d5wQ0ZZyh2/dTGYPoP0k4OYS52VGhoET8dwg85JHicasgLs4iHKH+eyYua3eqsPdbpEOO4BKydZGK69zAVZRME5meMsQfnHmVX8Ga1yv7uHcAcPPXBtQQop+Fy6hR/rbQGhXEqLOFVSMiycwLGjJY7bM7Nm38DstvGkVYNR3HzgRLkQGD3iUfC7ZRD8VWBeMf0ACDynansXUK1lxiY8fezYWBOu2rjbE3QYH59xzB2+1x7JSHc+K4NT2gSUCPRmZnV3dn1arj61WXjacPAOHBVHhk+ZRGnBAt6Epk4TjpiY5KgoDtAhHMwsyz+4Djlnl4J0OkYQEleTTGUziAj5j36mJNqj2NgwXOOpNSy5p79Lc92vr68dG0/9WEfu1Yl3pJJBAv3e9WOfUlGO2UKlDTIDxp51FzjHVAGZWtmuy3Zjc5jA/TLhhazrw56iv5KfARobPveCNrcfl8y0KwOm+lNRxX4PAPEQ4HX8Vs5KeAQEJFudT1PvRwT6rcjvosBT/npdKiySvHR9wKjSJgehRKXgPOKEW/nui8nAb4Oxp0cgMf81Mc4vuEIyHEms1PswuQk82/6hqznD6TvESyTi2GBl5agbWr3R3QSQOPpqpi+z6wWoP/MAGOnqXGtDZf2M=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1714354915

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

