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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-42

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249850

%ISIZE%
1347976

%SHA256SUM%
b43e0b717d265bd1c637b071129c2b1b0f9b48a8777f3032e7a2f96334ea5007

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMDu4ACgkQeGxj8zDXy5L9tA/+I/Z2piUfSTdpEo5g/Ufqv+yjh8GIwQHHmrK/mmKlf21B+Jph6RSvSMnCHsKtZdXZky/8fhWD655y6qgWEthb8KM9G6m4ay5Ci3p1Qz5lWBLoOwC+SEHFUVy8/RxTsyXCwoaYvsai2OhqY3HYSpYfco9V2LwGSa3YRBto/fGbk4PBC7pxtR+AtHAKOycACSfpjHuTwBt5KXfAcDzVipXtpnjtyZByN0fndtdcm3DX79VUYuupfTIOJgidIJlhKRBgTVhI2N/2pDBBJ0kzhYSjwtUCk5cTRRpUFA+krBzBrGGno3LDS2ykvLTcinRciqK3bzOuAxH9iLIOIRCnmozXmY+Oo/5RvQrAiCMwJNYfyTzNfMNp/GuriT05LseZdugShJQxtwWOr6GLwytOYX/dh9t1yIfGmeZChWJIZo5Jfn+Dbb8dDMVHt9eNbU/lIA+YatEcXfwLSWPRITXVZQRfFAM7/n6rQglBnmrmLR/m+DGNShWxlAYoZ2O4JXbo9F3QtFYih4o3qyROkKvBEujtDAaxZ34YOnc0S5XelKpdF6VBXKEq9GKNO2CZ5XhN1OurbUFwPe/zJJGJOqUVYT3LUrKRIZm35Yw0XeOkF/SndDRrz4hTc8buc+RnprmbwKpJp/p3nkswp3ovMe4mItOtSTJhAPbvpw4gGQCv+/1cf3U=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791758002

%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

