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

%ISIZE%
2096400

%MD5SUM%
5d1ac4484bff83be81cbd4f634fd2ed1

%SHA256SUM%
44b89875d389461e2d704ad304cf2674b1db7078b70cbeda644ded9a20bb1e39

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/IwaoACgkQdxk/FSvb5qZF8RAAq6FXsKDys6AHH0rwerGiIbPkPcz+5yiX8bmjdB24Y6xB1kBg01v4jlFuTBh2+qh1TUhJoHrGXZx78WHDa68rNZPY4l0t8/Sbef9J8dTh2lobHna91TJFDT+4dLaPzx6xX1znnMZZWhRv6lrOIKWkaJbiKZT2aH6seFnhotcqVUxsRYP8nYJz1hIst+1Zn+jWGyOjE2+nzU2IgHwSaW13gNnAEotsMtfLbosKxDkfYEXmTex/HltjCf+FvaD+B41nSfI5uMdVJmsKstGdzkual8LMKJs7wrpO/OSpZhF5J2kao+51HykHExTV40FHRD8G3CWvaqkiMYFQbRTdfeX/5GTa9lVCzZXqXvrQeDLD3jI508jgmDQJcS5zohASnRNsokrVYptzZGwjlvanEGp43jiwgFonNcHcVTBMU1EODcZ/BSa+8C7p2glLe5MGTJn6laaO0261cXa1AJ2JG3z8PuzH8EUV2z0WnDrZPzqRdx8J3IsANbIOF7yQ3wI7MKtSMldPYnulvZLc4RdiH9yXqV3pdtubjgtmt6uXBCl9w55hqix7LbebBzCIWLVxCD030yZKyN3GG5gbQfxD/NIk68K3NujsESnu24ZkGuQm8wCw3X8Q0XRkVXgbguIvn8C2rx1hTgQQNQSCOScIzAMJtL8UHM4vykyavpyHYCRUMYI=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1606992275

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

