%FILENAME%
haskell-puresat-0.1-22-x86_64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1-22

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249624

%ISIZE%
1331280

%MD5SUM%
f7bb32dfff5944ae96186edc6d8d4a35

%SHA256SUM%
1d89a475d478b43278a18cb5993f3cd0a2909ca6678547900b03eb95a40bbed8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyFGsACgkQeGxj8zDXy5LV+A//TANNYw87dk1xC3ouUb1OXY/5kdGHPl38ljAErWlR1daekx0VmH3Lytv1MAl1xbho+sdKQjwcsy656pzWO9ZoJST9m8QxeSODsZTdaBaT/sVJE2Yhr7ICaeStPzTgJVmHss8nLI9Z0J2gAfpt0dstX3JVfBeBpbkpxK0NxYQQy9Be2yUCXiHxk5B2Z1GHE7qwOok+gTelM58jUksz2h8TVKEE+/NXDt0OPgG8KOeA/mg5O+F1Je5AfB4gMU+plfM26W1pEQfN/+7dw2OoQ265Go9xl3Fg3mZFAmTabs1i3M1V3csm3CzN/HOvmHV4hr+ua9AxokhDbc7m17Dsy6J17byuHCoeBlOGaAp9sytHBavWFFe9sam7id7/ZSB+zQU2aktXlVsAxtA0bqY/J7ceMrCx0vjJeCN23khwNM4xuqoUIUds0iHyye5xK/7K5hvn2IZB8QsT7lFU1x77+BOMmtC9tFuKG3uwH1W28dIQdJIpqZ4bnGI6YvXXUbk8zogPXwn41Fw8elyoDJGj4TqkJsk9fXOwE9oXwBmREOGmGkfNe3S/qohrT1pOwjg8h0OO9trgpHHeMUxWf3tGe4qxQOkqFGGp4tdpa8nMhFt5xQXtVKebxGfSlG62SccAkPECbGkX1SBPf/3VB7VzwqofAXt1U+oBsElOtavnHPgwt6s=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1777472585

%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

