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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-28

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250213

%ISIZE%
1347929

%SHA256SUM%
d6c89f85f72f197b3d3fbe0545fc909012238d97a5be620e8add0f28e7ec3339

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdZKIACgkQeGxj8zDXy5IJ+g//QTeQJMBvosxTymX0qnXkgLo356l7ImUho2Eye2sJRPL7xQ2eBXvZ9hUMTUQes1mzLXOL73D5C5AlNd/o2XICyG656wpdL5HqdPehzd/X60idJv1C5nhxUdBIjq4Et5mwkL9x8PMYZzMiVRTxR8asbZxK+1Bruz7TUsud7xtzcRtDmQNZqWqOlv/Ba+YFU1kII1kvCtaeVQcv9mjZraX9JwLoaLPUjEZSLjoj8P2vMeFzPjIQdcRA5VKlpW/mA2MwycQTpdm2vRVYnAj8k6MRLqcL7ItxlhKzB2ZjRv08PgOdZWabVkNQYqihcoskIAFTXlig4TiMYXO9s107CO3wL7pQAVo2gR1z8Ousp6ZrMaNtdG9lVrtECF+7j60kF5StSf1IgvrVE6EiKydEk8GQh4CYaxibKl/9wqAAZwX0JQ2Iro1tpDC9gz75Yo5DR0Ftoe7XIzzfPZZ9pE6jRvmjZj5AYBdI7Go/PjStDBnMFfcR+9v6kfz+10VMr2cU9HrMZoPoFcJba0dblxFNZMs0DNUXLTaSQaoW9xuiPwcCVXiBhGiIe2yQEPwgfAMKq14DgyjZrH6TKO9Db6o0QeNCwtT+bCrN2U644m4N95q3C7sw/QE/GQ1o0joq/E94Em9cElhEILAdjkTUts55Jb4WoG32uilu7x8j40nYo2Qs3cY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788699738

%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

