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

%NAME%
python-simplesat

%BASE%
python-simplesat

%VERSION%
0.8.2-5

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

%CSIZE%
201828

%ISIZE%
2090683

%MD5SUM%
8f958c1b8bc9c5d58d532a348c3859d4

%SHA256SUM%
7a23d009286aa7ddef1c486f19540d664b69599d5deec99f8470d67fa93b4e66

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG5TFIACgkQdxk/FSvb5qb9Mw//RrMGolcE8skH0aMfnqqyye24P6porAbKoUsPTgccWRP9XofSn0fBWPIMQZz8HmXWTyVziN0tGCOHgOiaXvc19oBIqPJuU9wf09khLTHmR3WY3MfmqzZ5fEfQMI/koW3+xQZ0pcgbfIkMMauJ+Y91aODPGLXxLxndcXo8hpPwJOTfqwfJvz4Krb3nVlTlquDsoOwLthHXneFLOKbRXZBLSXqTNUqVATMHS+PaQevx+awcdklwOWU62tXL06AH/ojVStVYCAJZIIPtEJjncl7xJqQaTmuBQF+AuvsYySF4/whMavyhdfTI0Ef7lfVfx2fpn/NLaKB3/DwfQzDOQbbfhDJM0kAwr6GyKIRTbbriWhaga5nODgMizA9KI/UqqhVopfnj2o+KXX1FPFG6jjEpbhURyclqjTVQhNKNZYWhfNB7bm8h/5o6NoWu9SxbDnakX9kO4DdoM114JyDF8nBP8HmehZ3UqpI629XBGZ7tbnCj7UaXr7k399O5QIpZTBcsfAuvFjpNwzqhuenTWMp16qOnsXsX65hat2HSISNzEH+85Nf0QIp5DX5R/tlq5fKG1FhLJZUNyGSeiMRVRWXOQVk8R65jNug5cDCN/6xNkD+9DIhwIrCzsWpl0zH0MFUUVWtLNWncGl0PgTXZgvwntzeZLFmm6v2HQP4NwMcNS6g=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1639533636

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

