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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-38

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250248

%ISIZE%
1343912

%SHA256SUM%
9d95e6a8824b44941234846716c39137d72ce4edd6202fa44e6c74380794b54b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCesMACgkQeGxj8zDXy5KG0BAAi89QGdIy8J6ZLQ8g30GpWq17hrqbohGQnsVC+ApnTvdaDZQIiLl91521TKp0TbnyyVGsfFWd5foSGhOETsIc4vpw2jSNMGEzS0PiSiYcsf8kg1TZx8o3uY515izzqECgGKQNZuZWq99jr7EVvP5nUWNSMdkaBlgljpvEpul3x8YGXc/ZtxREVoHwFesehf7qD2OKMjNUhd9SWtERwzAOJMHtuadlWWKJVJHL4tLdBtTkYIQYctFB2bTLsSR6xTr3hUdv5u3nCpMVDFWj3Psu86qbVy192x6pG7+/aT/8+FE+7fkvPXR9Hz0iAgL4Z2fHaMtD/E0uVGaOyJMUV9cT4CNRtSLfUcdjGGnBVCV499KFaJJAOJNIiuHIeD/cYIauDvg7eHiPefh9+u8gPlEcMzFAdOq3ZRSDuYuZT0XZlFBxhyEwoAG5eSVWuxJmzXUOOL9y4ilikEuzCh2ykmWzX1whNllKu6E7ZVLZQ6RrFu7HaoJwzMc0ZT+MVbxsE6lGeF2WlJpn/aXONT2A1bu2wpamTA8Mwiw/AgRaafh3qTwbK4JAohLhxh4BEswDskOEiu7eOqLW5ga6iqoBIOEhLJHYuR8vEEVGYt1ZCQCo0+yeungco1NrnEv/QAT7C3Hkk/5UOEAwXrtCBGXu/pGse+VbljQHOh2KVzVWFAqJoVs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791130268

%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

