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

%ISIZE%
2095658

%MD5SUM%
7c8001c7a882f783132f6160a831f4c9

%SHA256SUM%
4ae543447f1c03f33903ac4ec56dc99058066ded1de80b27062c6576f389e2f3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl7S3IMACgkQdxk/FSvb5qY/vA/+M8UJk+entBP/yU9mLM/7aAa+EjZGdjKpK9PFpf9aEOn2+sxf/4e6OW0BdpQ+wgFcxoemKzOySA11XWQH91eiq2R10c2B3unxDJAErxt382WdNzb4PJa2ZeLDQ6lGwj9ctK79BuVJ5u9O6QnHrVrrmmzWig4Xd0wN/VQuiKCT5Y+I0sGQoATt8gpNL+jKXxh239B80lNLyvYpmNASc5CdeBGDSuifR7SDVZTM4APhnnBqQsex/O1mhhx2YUW0gJyobJX8tDP09eLw3hpOxC7nYXH9Avr9GxgX7FclCP0yeEUJLELms+K4Tg7ediZ4qoZ2A4MZJ+tzYdxj6OQF33Vo4aXPwnUKAOSGzUyM3P3I2GM1oSAaXNDsdz/d92omESC9J3ZKpNMCajkfGXg1KtVgwiaaNYQqti1G+CygBVdWasf//ovZP2HImhyDPOdK2gHv31BoZ63ouWKfJMhtVFQIf2V/OkZtTH+dW30sjkjII+cmpxu6QKTGGuROeFULF7nACPGVuuxutvEoyBFtttfC3ZwWci9ogBC0LXgEM+y6TtZCz4pCRcIABmKULxYfOuysEQKT2rmWz6qxAV5njopp53a5QWN5vnOOK2GLOiT9W7UWe3VC+3losQIrKa5pU+UtmPYrSugBLTcrnjHsgXYTVopxz3IHuOWo3zADr+xDggg=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1590877290

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

