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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-49

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249783

%ISIZE%
1343883

%SHA256SUM%
f0e36fba64dcd8761f3bfa8a831f8a4559f8814293c123f5026fb711364daa5a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbN3gACgkQeGxj8zDXy5LnGw//UDaTDCaF+UcEyszyKMDGU7t+Y4AMeLzcIvWxy00J6kr10FjgNxgiCYNmz6nAyd7pYyHV1vJCa/c36AfVGIHVSrM0Te5YeI06TVSFeWvAx20fww9LtN1329Vvdsvuk5rukR09jHWsQimSzVmgTDk5JZBjBrwPyhliX7wwn0MQQIIZSklBc/H0bAq0dtWa5B0vXqu/CZSP9+IMc1/mpqHpgdqFu2o8unbjvGoulgpDjHvRmTCcLnVHr+oN+DJigvCxx9zc4EakbAo9Mo4y+IiajH+Dqfhcj2H1/h4bl6Est7wYeMK/B6ZGdrYymztZMdFYzU21mdC0TUz3eKzz5ZTBXPMzFGitgjcWtSaMSwXT/twNE1MWj8bwSPTxL/SGFd75AnV5AHl9krQuq0xXSS83BiJDrn+3RjRwEIdXHFszgQ6r9Fb5UPhZ78Smp29fNlJzC5IefMDsC/N70cU75Zij4eBCAX/FFS5nflX2msnuYqeAF4ExKqjvitBdt3xIwCAdaqkFAmdgJ4sr8C//BzCMLx+GPk5y1IK9cRAbD5ICcrZ0U4s2v1C8tZRK4D9DccB8+xLLUvUfndcl545VQ6x/n/k6CrTBd97coc20ykscerhXDp9B3gLWKontlpzAnXkfxDL472ZNNbGNH8nGgktVXu8v/94nodoVZV1hDdgOzuE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792751429

%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

