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

%ISIZE%
2096400

%MD5SUM%
f82a568a1ab3665fd60f3b0f24f4ea01

%SHA256SUM%
515bc940ac0003f10acf467cc9e92b6af8f0e496728eed8a7f5a7b3e4ca4a511

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/J+mkACgkQdxk/FSvb5qZy9g//bHo9bu5PbypOorgeqDnLmp8vqacCyVjH0MoaT4q4ugv0kKSbosUxpyFUP2bf4uH+YsWgFTdAPXByEp1FQFVm9YRFdbRQyWMYYH0YTVJpblrVL68WqGCZfBs+Xs/59o6dfvucPbuo6BFNQjVkdUB6R//vzKIPlJUsqTkoT5w1i8dgq8cz0Pxnt11POcneGyFN9wv7z6UvxJhuvyhzy/HdwUds4Q/U6qKlYO+fxufaSnHhk3StJ1A+pr9y8fmVKnNNRpCyE2UGonuSaAdBEAtSstqz61uDsDSxcW3viekwrAPAYvyJ1QqMhfXvz59lCDl+7NHsJRrseq039oM5ua/c/xZBulxxI953Tw2YGS1LmzAuo/w9X46c9/8nzXUY3u324kPM7q3NEA542lRaweSdmIIiUGKfWNSoFCZ3M088hGsfqPJ3rb3BY9vY8AY1Uu8Up9lsTKBZY+XI43I1wUlxtTy95yPgE9XiUGd5euzifAwTSI3E2fq/tTsclp/AehGm8Qz5/1ma4WB1obtYcbkwp612pwyI89skE5hWV2jZmXugp+8THwM8wlliI+l1doAqpLPIwvDTlENfwFkzvuoGXrNpVZdjTZP7w2gD1bybv/Ql11cI1qc237mrMPREXX2jpbq+O57g/EsD7P/i8ap/MNSf8P1S1pjIrs2xpsi3/dY=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1607072337

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

