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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-63

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75488

%ISIZE%
292905

%SHA256SUM%
cc47f97cac03ea2574ad155218775497ac64ab1065e2383154724774971f39d7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCeGgACgkQeGxj8zDXy5Ll5A/+IqjLFyXBSiTFA7a1VvkuGFJIiZH64v8GIeIhPH9EOJUu6BHyi65+gLVaqrs0+fwgTOVqD92TyHnxSdCXcN7q5XSqNNgZOu0x7fXCaUzHcthytAK+g2EWx9ryZuJcFN+ucGNjPlo+hegPZPjV4BFYFhLTi/LK33U5rs/V3dQlEhzDY582Rr4yUnATYEw4TXoNl4Pw65+Q4nNR5lE3SsKY3iZ+PKua7zpueqeA83ubM8n5sjw7/qhmWGFbCKpbVI3sipQrbZ8V+aK4NTI5+6+bbVC+RpfSPNQ6nEbqOTNSoaYt/lKslhELKCOS7PkXeFmVANqvU8ZM0DeDWgaBan2lItu1vomTZDq0AyF+tJnjyZNc5jGptqourUeD+U3+pxTsWAtFcWd0En3iGUroyEVg2WL+LjsJwqux26QxhovQp5pjfU15mjNpJcBnuY7LDY7UH7FD3HbjWuWDcwYQYtB/AiSfwxKGlOpVdf0DEuJIrNt3wJ0vYHXwkcw8pptA1d53g52hW2sD1oRfgabe6BtbnsW5Kmslnj5UQKaUf7qRbeYJUOs0BQ0VE12uPfc62zai9NLkXT4OilKroGMMx4dRcYJnh4GPbf2WFHycZGFPYeYLUsu1lu5/T9kVeJwzfM8bVIXJBXd2exB8oWgV+zJ/HJPnxgGmmrh2qc67Wv+NiZw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791129687

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

