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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-36

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75501

%ISIZE%
292891

%SHA256SUM%
1ae1fa01feee4fcdaf25c2b6d8eb0696611a03644da4bd6ed423856e9fadd38e

%PGPSIG%
iQIyBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1fDYACgkQeGxj8zDXy5IFIg/0CtC6GEmcPXg8WXemjPlm7pX1X/5qxy4pfU7zfMVoYGYfa+Bg1j1seKj8DMwVki3M/sIURsIL5+xIVa2lww2y1g7UVcR8vkhJ5AeFqc/0M2hPk6OV/uAymOZLfcgEf3Okt8AAtg8pxr4kuaK/bqMePzBkCWCtL0PLzmmYjoLiIGD83emHN8PRJtJB87UKiqjwDTnV1997A18m77k4okPW1cifyIzg2tR++ZpkYGfAEqjohqxdBwl+NvLwKkEhzYyLgmjg34v8S9X0W9YNmnt3EsALZ7JnL/xRb0sRuETZJ4RZ/hWxuvcogHNGYgPjC0HNvSytCz5g6dKlxD9jEE0JCdkyVA/ER6aXT6ggxqwZP7ErqxBOvFKh8xq1RELwNR3DpfmtIIXAQ0lN/DJVcr/zUAU4zMYPGQS0zEBbm2BS6hNbi6ZBogC/S8/AxWGaO47hnURA/WTqqtntXyGLD/iK0hahdsMV4lYERqdNs2AQnEqnbEQImkpAM9bbtvAJ90J2ZkNC7YZ13nXcZQtO95CtHxu0NrrKoFlvtsihV1iaUhsWFInpb9cMAeBpBFDhA76QM+uBR66JaP2QWrN0bf1JLUleMyulaWQuoOLJXASSRwdbsdcy32hd0h9JFvzi1dDiRdOy4mANkc8sD5S1Wu9Ajwb3w2Hyq1+ThnFOiuKjBw==

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781890081

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

