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

%ISIZE%
2095658

%MD5SUM%
1c0e74c362f7872906ad24be58e1e556

%SHA256SUM%
30815bf231ea5e739c8945bcbc3c523831a9613e4886e5458d425be7a9365cd3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl7S3OMACgkQdxk/FSvb5qa7cQ//XwC5fzLz+ClqvD3lugpU+vI32zid83cn2KW7j4KcRi4eW53sEFz0Lg5tHzjCgijBytjPj4wKI5R116lYsQjj8IAgIf/gNWXpEVIJzDFa3kSy+EzgJvnNEjHr6/ootTl9zL5hAH4AUSNq/LWYhuKyyZsQwUPlRK03Dyx6RnrgxoY3xj2x9LI3CWfgNdbYqHnfwfEo5wg9xBUnw5pHapC11DB+VlA5LNucR4HyqjM9hLjnL431prLFeTHv0g6uC5ViHknP8eP4v92pfrnbUO1S/k3totbvuwlg608T7GjWtJzCZlLRK9PLBOm724tA28aJhQODVKOfjLE22uOn9qPJPfv5wGJZdaUOo5JxI2GiiJ95//OBdCu8sFLda+jx8G7dUSZ/aZdNsfyvPe2AI0Kk5N9tUuMM7WxnlO4Az8l4RycHTqMxhfRqgbTR047hlAq8e4PGfxvGqb8TJM8hzFn1dbITNYjyn12yafh7U2BDUtzjiDUGg1LhTutSujCJniNmOsZ09hOPCRnvsqULh6VRe32uchQhGmXX1tOla/aPlJxrvGTqEqev9Pll7sNHgU4UJa0gXDVPCwydB6vfzq9uhw9/A6F8ZySh4ppZ7+t6B3EEFZaYKnLVggO6ViRd8E5yLMIRRZ5g9jUiRxlebj6CFkvOiielyJ4rNH6k/K5OmQQ=

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1590877386

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

