%FILENAME%
haskell-minisat-0.1.4-2-x86_64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.4-2

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
76163

%ISIZE%
231496

%SHA256SUM%
daaae2ce21bda639299ffd813d3a36f0fa4ab4ac2a2f85fc5c6dadde0af10e2d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVPIAACgkQeGxj8zDXy5Ks1g/8CXFDgZ0mLDGYeZlVCeFNNQbcvUUNyr2Qu6ynAeuR/POdtZ4a0NvBqXiatH+UYB8pwgreaSzJZcx3LnvZTFV7jyHvZ8LGW6bkztXS3Zp4CYhuEFS0l6N3OxNWxaEAwttLmUo8dmEJRvq9AgcebY/QG4GRI5QKxWSDFRIYzfcB5IVr9MW5uvcnIqz+XxgWqu1W8Hx6SCS3rxugeODkTk+l3oFog1AZ88bguF2rm7Cg62/0K1jzigXX6hcVgVT12vT4TnhP7Q/knaVCZdt3kSCT+dnwChDdZ6caJgMTajhDWc0s1XmCfq88jJSvWihCbsPWX/OyMD6TO0wkoPBIwniOrIgrGLYyU9WUJYbrIKRAKTVu3CuN3OWVqchfODIPazDNiVwjQaBPKsi/jLuhUE7HjEh7XBX2AZRINoYN7K7ttT/ZPcyIGc2lfiFjEKmFmjc34T6prGCFrrEFBcmecsJ26uYcd8MS1rdk6pr6OW6QTqALCzAAFh5M/gLpea3Rm2LgzuFK8NJNu+8PT1pmq8xOh8+35Bje0cJl4F9Dk+u9VyWe1BywwCApx4zhI2dsveLU+pxHy8uIJnPTBKxUZQXhwTANoXnciJ4vikB3hNvEkS9AwHan+WBUPhgsWwz0+Ev//L48XnrbbtzAgxLLXIU68WbDe9QsugEPBueAaNHZIxA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792359530

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

