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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-62

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75517

%ISIZE%
292898

%SHA256SUM%
5ad369ff7fa4965bd51883366e109336ef57fde5e5139464fa2b375d0c1d3664

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCRsYACgkQeGxj8zDXy5JU1w//SM2t2M8768puvxNFA6wVPSXOBmTtNIGXd3ojCwt2QzKRhXS58/rwmcySrnUN5JiDGsANepN8luZEy67RPR45RdKFT/tGaKBHe5cfoCzqbaziI8Pep2njvvEwO+oF5dhv/TpeLgQeT+blffysFPUhyAyIWzIj49iTNBZFgpldxXqR4Ub6yvOqlT4uRpj7INITQ76ddTE+o8UlThhJIT+IuzZ61wfLiKUoXsMtxaFrmDVc+Ag5dknyj+m3x28gMfldtuLH6AZxOL8UaHhBUN3MdQuzOrsFAmY74+HrFeDLf8gbwxZay6+Pa9WO1ghfS3eBwD4vA+HRYuoDwY/2BO4UifwMPSV3yJB023VIuzq61x7pI5+WpsBDuARw+f/PUnJRHQQKuSOAZHl2YeX+BUhMP7j0UuLYcWimVAHcZI/xN3KyiDQqxR0hN0LUqlwXhW9Ol8zF4fu/4SPiRVNUcv44GnAJhOAuSfMp39ZJnkMJFuL5QsMcllyzJftNefb54MiA9jLvnau0ik0r1Eo30JXhke0Sz2Hjqad6HcPpLCma5wBieedhsvWfk0BNIHGxuD1VshlZH7hoYdJcGd7TI/hwhBSEYpgQr1TV3Pf9qLEFtDXd53M9FlJF5/H7DOhGMhlZ1S4djj81GmopO3wVOR3zOU+hHclyNFXdOW28PHz9xRA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791116964

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

