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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-42

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75441

%ISIZE%
292893

%SHA256SUM%
b6d5b5bb56bce35ef9ded9549c3d1f587d17a5b561d6a838128a805255d0fd6d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo63+YACgkQeGxj8zDXy5LkkxAAvhn7K6LbqPNy8zFrP0u/AWutwT6me3Iv1KXl72QKh/qZ9uHO3X4vdYqGjZZR+OPhJcZe7lqCFAxPsB04gPeD37w0+O7IPdOHojiK0hEFNELBY1ymScUR1iiRJdjeAy2PcRg/ADLLhgNIX72hTerXzVLc4w5rVOYWJTezfSEoX/EijhDPPmqilgWmmDcF7oag6cfyamcfg9O0wZdRKsXWrEYPqvqgXkdo3EDjsbNa44ijNBy9Xdnd91LR0zFWkZrjFsqwfTP6nKiEh++bnrCljSW4p0PdYsIynA7/7MuH4W0tZeGcwIPMVrR13BcEV74NWr/u1RBMo32KuYCU3Of7paK0eX/wfGUKUFvhSaDOO12BttCr/sRRJP20XbmVJBrmSTcZyPglRxRd5ixOf173zIa3X67D99ZPrK1JfXckSkLS21OPHX2UDneEVKtV7JuCwFzp/V+nxHP5g8V2AtNKb0AoPjqd3gCINmnCVS/hZ/t42c3lGupy25AuUnvBwGhQ7b3yMk+DeL9DQV719+DPOrBOM8U/ArYrtC6/YU62hxa2o/AnUJUm2SAJT94Y9MR5X6RY8rzIPpEYqC8DUbnXWlD+48AHusc53n+/NlHysYPbdkYu79UBtGYGHpLbEPukAe2hgtR+YTwSbgEMUInCMS7RNSbRp17xqXRUKCfTbgc=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782243288

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

