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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-46

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75469

%ISIZE%
292903

%SHA256SUM%
d616dd3bd22a242c56477c6f5558c2fbf8cbc6cdd391fef3199c39453b561f72

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/E3YACgkQeGxj8zDXy5IzSg/8D0gbPcRuB/DzPzug6qBDfJRJ9yVAhTriIRtHgD3dDRR5J7bkF7B9kb5jViZOPpiMMWpoQYN/GCTsdF5ZYefsXXsuzXqqjFWD92qTCTpa8cTttVhmU6YS8pFFAkRmFncdcZzVxxCxrxAkx+Uoa22uXPeK4uCMXzobk5vO/avfsjW/Xog8zSOnFSRnQRlJ0R5F4ZJwSNmzXVCyNa6LIYYhRsh8bbwycP0raJWyDQdLEutaroODrN20tf4dMyg+4aQ5Q6hyQpn6m31IVJuklGP8huefG/MN5J6glYuBOruvHuQhUzQYhDyTISBRYNCZUfbIE9WOReIjAWhgFLb2vhDJpts8RfvSWUdd1KZ0ocgUzOO5ufQZ52vDig+QKbV/jReVyXQWC3fmxPiFP+CZSLs8ygB9+byg5Bf7sX9YLQTw0Ev7sUm3jzvZo7gr0R/TD4D2+qAICgxRTDZISBNlZY40tp6zPcKb4MPEXzY7ZnleO8yt/v2HvoCCk3uFILaKVCRKxLQGCPghQ8X5NnqhfdCy8vNVzN7Z+laDkmC1zWGY3fVygIqxcHvLLKZQwZZNZj12rt5clb9Iz/mom1kdZ/3BR2Rq9t2n8hpzyYEU1htxUtqrxmVFnnUXskkIIhlSgXB36Mi81Y/L5H96uiCND3zgqhu8/I0HiGeSFnO1hGesj8w=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782518625

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

