%FILENAME%
haskell-puresat-0.1.0.1-6-loong64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-6

%DESC%
Pure Haskell SAT-solver

%CSIZE%
311108

%ISIZE%
1843990

%SHA256SUM%
bf08af843b754f5dcc628a6559c46dab199f8a532b861c888d4e2c01e3b957a0

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaiVnDAAKCRBcdK4XC9oUM62YAQCDlaOrHHFA9VkbJEPQ4l3eGUYbVNPC3GFTwFKuOtZA+gEA37wazcujJo+MDDh2Y1ZfEuoPdWIfU9tq8J1t+0m03QY=

%URL%
https://github.com/phadej/puresat

%LICENSE%
BSD-3-Clause

%ARCH%
loong64

%BUILDDATE%
1780836012

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

%DEPENDS%
ghc-libs
haskell-optparse-applicative
haskell-primitive

%MAKEDEPENDS%
ghc
uusi
haskell-minisat
haskell-quickcheck
haskell-tasty
haskell-tasty-hunit
haskell-tasty-quickcheck

