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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-22

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75492

%ISIZE%
292903

%SHA256SUM%
f120189147516afac0bba839d23211b8ae48920b3a742d8287777ca23b10bdac

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnvZwgACgkQeGxj8zDXy5LR1g//R6ovlWbDBVdJCVC6iVDzLXdkYAKWjzUFKFXgyXlCJmY8A90nfqPITXPS2q38j1mCBbfNhK3YZJ75Bfgoh31ntVhUNR17ChHuBd/zdhv6XMtFQwmNkhu0uN4T19IeEViGPxPV6FCwePm8ghyvt40np0fI3zOUP27OWwFySds9RKIM9T8nh6/f8JobnBwig06pJZCz8nrT9DWOkd8Zcgs1Ir2DeFXN2J4rUOAgxojI6RqpdG9soXC79d6TzXjmrCG3oVVzsqkDC/XnRFfZvoGF3WzA8auYsOmc+m91rwhLKflRMDL5Rz/zHaEl8kwKQ6rl2DgMtHLveuDDVkQjZ5IOl72miS7jmkWCQFPkETDfLMntK5Y4HCJvcqisIXtMAP/YdiBiiFf62iMS08YBw1fTzJN5EoGAUDCTWdV4lU3B5mAIlgaQP+guzKHvo7OXfuYEAvdvD8xJy+5PaJoxbpXZN/kA1l7UkMhmBHAdR1833ei1YMt8LuP/s2qKB8gNlHWJqLpMFi4nY4k/BrmuzJQFW7h0YbT0k5T13f4nzr6oLgrlzHBADeWOQFXs4fg7ShC49pYr8YQy6y5YAx8PHN8Hj2Bl9Y0hCPplHpBQ6+0LItXeXhyllwui8W9STFLZARqGHWjzaYn5v1jaPaoDwBf5kkSJN7c72jyg+OHGQAVa9YY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1777297143

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

