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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-8

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

%CSIZE%
230768

%ISIZE%
2393204

%MD5SUM%
b3bcd41ee0e3269882e6b6dde75f9281

%SHA256SUM%
7d28d7eba1db5b882a6adb4f30082094d48595995fb0ceb0ac0ec9ddfb06d756

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmdqNLwACgkQdxk/FSvb5qaklRAAsHkR/wOkm/gGwj1CqkvtnjUPui5ffA25GmrT6909TULnlJQHYsyjrmV3H5JFQ/mC1nYEkJaKqoYZFx0SKgRXr4Zjik5GZJZSO5tWuOTgFRa8byQR9SeaLF20iSuYXkJB19xH7spEwu+15oqXZa5YrDs5B7vMkX74t0T7GhJY1C/TLVaxG2Zax8w6ynIH3MmNzMdPtNIOlXhUYEkT4Rdso5ckDx2OYlQnNDV9OZGwd1XNTEXtWtJdiC9AVGgpk44e1EKpiebeKnjM42h9ipuAo0KQzy4mDdQXF22YYHglU9wvKP7xMZ2FV6ZblF+/cy+UjbFDACG6zXg9Eo/b1qlkTLADKufgU15BQ5ta8rCm+PO4dF6PKl4hAGQq8m4ozhl6vqzsgFKe9sxvOAGAG0cedNM7y4mK6/xfx4GNO3l46M9/U7BFbr4xKJi/V6elzkJRzq+JoTVrXy/8164dFwwYwNrlI4ZEODYN+wshcferdHyunA1gTHcDppKsq1vrj6pTnGAmI9XNU3YJ/u/OWGIpPIU1jb3mASIXloeQmTJBq63N+g7YLnLC+a5Tzvy8qdVdzb2ODjW31nmpMRzGdssKHuv7u7j7Qrws/xPX9VPBdLTdx0gbrk5QwnqqWi0Cvw59G3HROtVT0t2gsNR4C5cPKgMduPqoWhYzFWNK5poMKSQ=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1735013535

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

