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

%ISIZE%
2095658

%MD5SUM%
f1f8dbb109b06f7086fdbc92e4dc0229

%SHA256SUM%
b66cd62e03b87213f4764d8be81ae6b11390de103cf8f2eb67e963129bf15a60

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl7S28wACgkQdxk/FSvb5qa8xA//b6RfaxeNHQ3bGl9cZSP+poN04LLb74ZX46A6F2QXuqIfMEiUb9wo75YTERQUsiEtQNNPS13/zsWHaVWtY4yybyPym+i+EgcuYlZR5HA5UaSlI9Jlkn5t5IvH/irEKFXILsxpTSxfDeNGH/97OYEnjReKMu3/cFj9zg1WofmmZcnOvUUUk+cxJgiVSTbtQ6WAEIHl06J3ZyupfiLXyp/vdxuU6DKExxEMX6Rv7Bcmif1d/wTjI5G1JTkHd+sKFmCUIVgr7qnqgyuLLtIL3Ij9ZkOa89R+h7IrzBQfPNjAeFUr35QsyBdH5CN71U2aWENpJjtvCfsuO6meTIi4CDAOS+QLErdKYzNVm/OPhXGlZJVLGaGjuRy54H1BRLDAWAccvzeDXAKd2ORcFpfdpISS1p6m1kE2ET3a2o3G2WiFhURypgttQebwsRIjZLEE+JSFXub3s03Rg7CfN7HpPvi0DEImx2JglOJlZvyRLMNEOOyl3cTeCiIK2DMwViLFf+U623Oa6BdFjZeUcCUPtEpn6K12qLzIpyElpA8FGaG6Vr9//RHQkJHmv7k72sCRuj6i/qmQOO/n0WCw0Ihc9gufI5tt8kfNub/khUUYDcbiwQRHjCftLO6R0T9NU8BLXX5aSq+2R3GZv+rW6qs3jfdQz9Ruu8i4m/bOCmCDN4OcRoM=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1590877108

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

