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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-7

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249954

%ISIZE%
1348007

%SHA256SUM%
687310496c9dfeb8e08e6102539cd349ad4f72557e1bd319f1ee7b24882ebec0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmotxEUACgkQeGxj8zDXy5K0Uw/9E577Vuwaso/oA7ATYHmaNRRiQjX52evnj1rkPwXE9aUuNNBaGCS9l2b8Kum29ag89h8SINPVImW3FTgAVHBV0P8sIjmp+yzJVLzzzZn8lFfKJCq6xQzgh6QNd7eSC8PRoz9fkobkxuz6TH3xZiwV4Iqjk1W6rENlvTcblIO6DnG5YpGpp4gUlvaz3Rvh40jUIWocZvhay/vj3U+iD5hT2a4clsBEfAyA40U+XwXVh8l1KNR/vjkTQsiDanJWO0rWG0IXpbd5oGzKo3bvqgCqW+V0e2mde4RgmYTu5TbjKE7rLYWZvoSJeF4EuHfBqNqdAudlMLKx6KlQIwOJaRVn8fJ1P8T4AQu0sJMRRMg4UXr4SrNiXWBQgcu9oRd4INOJI+nExbUzx8jFhSdI1hsneHYIdf36rHGA13ZBzJ2KgiZ4EEmHhBo1xKumEJNbDFEEjpzVl+47AWyDdjVzAdDhubBQigkhXdUH/ve9b8EtOk5WqB0PtvH2DCB44CixEp+UiXmg1kxADaS7NoHLQhFeQhuW/Idz1xct9BzoT+bXgs8x8d6yymxRO8WhTwufnLueiforKnDL/k03W1zH4Zwx8ytC6vAqLeILWfbi3KwD3DKB1pyQJsE1N5CMF2jisJrwhqM9Ylr0xA3HXaWRVzaf5MU8hAiX+2vgiKnVCGdwvg0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781384227

%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

