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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-43

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249755

%ISIZE%
1348014

%SHA256SUM%
b68431226527420f882bd910c5e46b5ff11b26c2cd5281e89b5533f8bd94cbbd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrShrUACgkQeGxj8zDXy5LNbA/+IBLvoDYEmuEv0PhUxhhsWDNyD6OZixhe+hLnX5osBU6IovyjBGljqOHW07R19vEqNJEGg4TqL0BuichNVjmb0RD5GYXYuCR4gM/vXK+eT8VsBtl+uoRQffF5lGNDiuxpF5ZKdg/eOzXWIz/Oi4ys+ofigZLTiDIOgSL3iNvkoU7/Szau9uYbU96qDdptKK/iBzeVNrglZn31T5sfPCbKoYMtLZ6yirZcsDWzah8mOKJhFEx5R7Cjn1p00MPe0Yrpwk2h821A/+sJ5t6XOtUinPr0vn/kJPFDhNkjVoW2PJ5r5tglZq7yrkLsc2BHLYqnD5ISyHlk0ayHw+oNRRBN1mqFLIvsgJsg9Z2pGCsA12Ka1H+OKUzemovR+TgBaANYb/KGpOOVdo7u6e5m/YFdUhxX7oRvsYG9FZs4gQ4K7GSI/k3HqeDwtjRIBEocEbo6Squ2NsN5e3FY0+jgABbPRAujKLZK3nT046GAX9OMskd3uTTStGwS0GgkyOcJqueNoDCOGPV7tYsQnKMTFa0gTaEe21du9jKV2hutGEczi9jJ74wpowNo5775AefVwR988dPFnMNBRwli/N5lqZoZAGWWJRCZU9QnTlY03ZlqQqJAnf37kw8hx2fDoOHnUX4XJwzmW6tYPmCBngJ9PLXe28EWinQxZz/RYBV+4p3+enI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792181904

%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

