%FILENAME%
haskell-minisat-0.1.3-54-x86_64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-54

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75502

%ISIZE%
292888

%SHA256SUM%
2e8ee69971ab191fb6f2f7b9b37fbf385375a29acf0c11c57023ea6a78d38c15

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp51QACgkQeGxj8zDXy5JwoA//ZM+cCK+yEuAXZPfI01VcqEWBEF1psaT66vOimKo5uBWa6Mbr/xl+hD1x73C2JT+tfo7iFRzI07pw0Gm8omqJEI0pi9XMuor+Dz4so/fI1ARjk1Bj3H6qdZ+sq0g43B2oNLO0a1q/UgJjmIiApHBPJfM+wfHXvLoWOk3+m3q2tVwvxgZPHUFpkjED9nk/EycxCxlBhpM1NmF8JmZz+pTTUMiaYwChtZ4ClfC+5uO+I2K5y2v+aIbIDwnKLbyydvC+Oga1t4ZbcQuU82Tmszv8Q+yVH+0CwoJRqLIMcNctfvRBdIcdEWP1xyI+4IkmmOQbPZH95MoFQ/diPlDF98XTGut5++YXWMlN3zs0+okGDUvwbjlsar15UJ2TaM9/FrDbobWvicQtTHHR0szJ1LuXlqWqnJR80bowKL4y81J9/UY4DMgF9egmb88jYFsfSraE/OmSFQN1M/UhvrTHpao6rIGylCfEwWcP3WaKmtDd8rtref+Ka9JpJIZmOQuWe8nnV7EPP6nwhQe1kZaIRz+bjA4wy1xqWGxvFHDLVGVieZNxBiF784VZsoGgNIgyVP5IAKmLJclGSwfS0j1AAzzK32qRTeexcAdZhRxjemGbeEtAIF20FFRIZPWf5wjCRBCvpO8PCDD/T9XpDUlIqAM3yU4nN3hreCqJ8HbYwyn+JMo=

%URL%
https://github.com/jbransen/minisat-bundle

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1789519676

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

