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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-29

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249908

%ISIZE%
1347983

%SHA256SUM%
46ce46f78ad9536d8e97d598e5264acc38e1c20da6ec9f06dff2dc9be8446068

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp6SwACgkQeGxj8zDXy5I2LQ//Xs5IL0gtxbrAzcRhwXA0mTKOBgdzpgw6E756c+Ks0SnpY+ARd5PyA/0Xhl0Bb7kBM+lItrGq7+zbyuH6W3qp+Z5gO+pfAaL5Sd9yuR9ECAq/rEJmmr+S0rJ84m9sMamdEdcg1bmZBuDKIF27/t75/D4XP3ZYJLDjemhwmHr6lba55Ng9pX4Pj12cp1szlM9nktuRkMcyxtZR0djq/J+pTSJ//tMqwdbW7WJvFgtuGFDE+HuUQZrIDd6hYlvT5VjX9FwEHa/JsEgnPgC69ax58jHAl8y/9HKoZnBtJj3Yx2M1tVjfMJlHQ9RK0p/jjIT7cQtWlE9gSRDx8RnGgUtpXlg4+H5I/b+H+MLSw/5oEx+bT6iahZ5gppfcK7zUb2u+wsusYs89wFuw/Ti47YhwiwZtXpyPPT9/sPhmrBN1jCD+CGuR2lodc0MWkREXTt0VSUYLqwYwrCCuuu1NMbpU5+y3yhg5hEWtI27NjbmCVImynOr/fkQWkkwL3OWAel535JHsTFxCzwgiOBuiqtsfJ3FSyTBTc15ZFmMajWhBfB3IQC+JvuPVnnH5re5tnljrd55eJz4iv6ieEaRz3Jx/VjmN1NFJqrsfNSB6L0WoZn1oUERhYMy29Dldaew/S0Fq89yDClHy8Kf5L0eCfghxFacq22Do8u48HNeERETBSrE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1789520115

%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

