%FILENAME%
haskell-minisat-0.1.3-31-loong64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-31

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
84402

%ISIZE%
391159

%SHA256SUM%
c42c0ac9b06c37a8cda16a6a072871997cf51077a99f3f977f41b2ffc9689646

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaiU9UwAKCRBcdK4XC9oUM9l4AQCksnwqOCka8z44mzgeYPXAgMigOSxxRxx/pVGzwyPH/QD/XV6XZSLQgk2PKuz24hyhvwdPuiLhi0qrbUMUKckoPQw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
loong64

%BUILDDATE%
1780825404

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

