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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-50

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75487

%ISIZE%
292876

%SHA256SUM%
d6848c59bd979fb8480ff4d8f80f358825840d1668ef3d53652561bfb366b98e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSF54ACgkQeGxj8zDXy5J1ABAAhhM0+NtEYnLMPC3J3f+xUQpglQXZk9xLsFjWD3e+nkOBgkGfcgL8hvgKNn1nOdUFY++7mu7lXkx7Hgk/LVlq0pkqfLS1tFa6GNF8KsOgOVuXq2aCX6EM+HcMUT0zVonSkxgu/vYMhiQYqf+epiZvi+3UAERhhmgiVBd3ElNJUXIkWj/DNP9EJw1gKDkKM+v4/Usnc+Ki9K5M+5mBNp4oK3EdCVicaVJEyhhrs10t6U4KOqGemW+s6XrnfgaeBWGtLwh65wWXZhR2rSKccvwzspmel2qPilP7dBk/e4HN8E3ti7+I6Vr3iurvOC57UlVKnaW41Ny85CfvycCH9Z8uAkH3C747YNjpWlkkVOxC72oirnusL2jLD8Bzh0TBCEGQ6G6n8N3uUfv2zCZhd6nXimPeaCu/1u1ecg+51n3EAQhdM6bdns1NZmVWfBaCT1BCCZyThlHhi19IBZdLWv0NSxdRGVEM676Owtmg7kyyPBqJi9pwo7eVbBJD1SG0Ws/Qc/8cqNuI2Yh0gXj0YYPbuKg2GoBQkf43P+tm+KOUj6I1iImlzjKoxWqIuMq2f6FXy7/cXLI2/IzfpFRwhzn7ayqyewiD2l9A6NsPT8RGJvOmkc51MBxvqSj2Cuivn0NGD9Ly+w98Sw2Y35xts5josnyba1kdl7OrJH8ZexJwU3k=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1787959172

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

