%FILENAME%
haskell-puresat-0.1-18-riscv64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1-18

%DESC%
Pure Haskell SAT-solver

%CSIZE%
266176

%ISIZE%
1373610

%SHA256SUM%
90ba81d718b13f571a9d4c1656be22d7701a96b92ddb34d191b607b96daa41e8

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

%LICENSE%
BSD-3-Clause

%ARCH%
riscv64

%BUILDDATE%
1776527425

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

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

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

