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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-1

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

%CSIZE%
200128

%ISIZE%
2095658

%MD5SUM%
43f775deeda0171530e34da30840d8c1

%SHA256SUM%
cb3a740faa9883e0a84a0872965e78d847c2272182e9cf127fb14157ac0494a6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl7S1Q0ACgkQdxk/FSvb5qb/cg/+LaY/xrpnzr/3T/h6p2pPyD6z6kBbNlW/8GKrkG5PO9AqGiRpJletkuUrED/RjLXxc98aH6cinTfBTbkc42UGxEypvECFcC680f4KNlKsdOYokJ692QfqL4NerbZ1OsQ56k8htXDUhJOEoOhNVP5m5psT43/VX2rlICLMf/50f7wQXT2v2Iuoj/RhTNnYqxqQxJhg+tc2kIcQk9llmOKVmv2jKlsvDxoYR/2UVn5plTwVmomsVlxvoV+9MN3eCGG49FVqtRqk49FuHFkcJ/w1DhZ3fxfrbYDpcGxuhIHSP4Sa/rQE1HYzxctx1VxuESXKmwx9BkRgTdZ+/wyT+lH89SPsFpoOOu8ebhPKWYyOEZzeNkZbxSo5PlATsp2bEyzWz08KQWC69txkq3oEVGql+o3RZSDbYJlbZgvj+lMdUaDCzfFpoOK920FPeBEU+O7rIj7TRmujE/+CFEIQYJq6ERIa6c05rMn+YC4TfRu9PwiIfeGZCqIdaj4LIlErBZAfMGQ3ZVgFg38KUSFaId5EzCJHGiGvbhBzvodLUaKm+IDIQgHugAZi9Afz5aB+S88AR1R0Hk/CVV44AueOLWRxF2bBlxdLKOrGvCIFloaKjzs9iLHyOt7IEzDNUlhdknSJJLgb1c085usiItXITVye1Ws0efVfW/dXqKz/oQa14Uc=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1590875386

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

