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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-3

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

%CSIZE%
199364

%ISIZE%
2096400

%MD5SUM%
9cb5a2334719a26efb0bc20f07f6eca1

%SHA256SUM%
2ad4bf3737eeb6689b82d1bb1a0f3cec96d2bc64da156f118aad3b478c830fe7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/JTjoACgkQdxk/FSvb5qbP4Q/+MdhFFOfntHb6wz7Ivs4JpkKBaSxsdJOFzCEYZ9JVPa0pslES1qtA6BSMyt0G5WmNfNBnVSA32q+pAeCAqQtguojKdAGYFnPy6J6uHB5H5bxcajIBxrbzvGbmdWR9CsFjFuDPdn7W3+0yCvUZbd/52cOAjgq3EnM4Tsuf/paDZYkjo8B/ygmkUBCxIqiB8BVfeXeoH3qc/agQTOTi4zlVnP73tGPGB6h0G4S/S/Q5yqbQqU4na0hQPcYtnMvjFCFLk6e/bT+VGNeV2YhVYBQFTsgIzYaMb3wmz3F+DkRAZG4ddH0qG3LpwdQJle9ckqZ9XjdxMh3Rre5FKy0/kpIZF8CGYjFG73X0ZmGeUZnkRayGW1tT+lmmz9BmgfTr6Yya2ug5JbWkAT5qz3o/M7R9FmDIR8REZ+jdJJiCDCNrKBxXpXHojsMQFUUWRNmuDAlZIVpXqnmMUUnkkcRkqICeQiOVVUbCjBmU1Y3JSENwWZkVHaIzfGKr3l4NqVK+Iy5pP49uRj07SXcEjXq0BIVus9GZDTpUIEdvaALZtJVj9epWTVOg4qUfkswaJMwyjwC8rcV0aIVteFARO8HEfYfJmXLDBIKYqFUDU5udymWVbojR6+xuHBiLTZqfcSs9a9V9pp9+9zcihi+8KUPCoS7f1P69LoHkFVkjtK+v4w5keCw=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1607028258

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

