%FILENAME%
haskell-puresat-0.1.0.1-51-x86_64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-51

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249582

%ISIZE%
1343962

%SHA256SUM%
75decc76ced0f3ad4231f7b913fe88b10f40a67743068f56bcb218a087358638

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2bE4ACgkQeGxj8zDXy5KbAw//aOaGTz2CNdLHIUPZsOtung+pRvSFoSsfCGc/pygy0a1Kv3TB5BRfCEeoLpO8/h3WsfQHRwrADnq4T6j+LbxrGnoumqMjSIYQWjzCJxoV4kDrmDhyR0JVm8bQiAE/34yhDJVaf7hxAw6tinQsQOUrhimREUm91iMi+nhnGIkfQXpmshJwNt2Urp33H17XqabkjnleKzQomI0TzsQdcGWEiT6KtRrxn14j108Hwa5R2Nq41jYfphphuKlimq4+DjO6QSIbxisucpGuEliB1SQQg9H0OmTjjRW0H3E2Uywi8wj41dsok6FeIQuBr4W89HaxQ78SMc8WAjbJVOHHBSN8c8bFtj9Xvy5rmN1p2JcU8Y/naHQm3XIrMlwSA3zyeNIHLJIIi0h4zY5/dEU7QsNfPK00dGD2AX2qV26zbsQuEeJ9gTS6g9TcRj6kwx9PzeGStZf3wKUTKaUuHjrkIXxEq3We7gAGTD5QBp4xM6HV4MW46POB/fdQj4Fhhh76rfWyurROypVSwzBOx7egzhYL6tMoGrUenhKaxoBV8u7S5p65cBgxEVwWT+Zn6VA/LBrDBI9bOHXk6lf4LfjL2Ug0LfKMMcHWluTR5Ic9NMZBUuDdMxLTO12TxR9f3Nhf83fB0SIXbLpdyT68JGLaMsAnRnGgCJilYGusByVZpZd8tCg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1794534364

%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

