%FILENAME%
haskell-puresat-0.1-23-x86_64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1-23

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249703

%ISIZE%
1331177

%SHA256SUM%
6599c8cd528744c5bf280733d39be04819f2e1b27abe7750b7ee1feacc04ebc9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7DY4ACgkQeGxj8zDXy5IyHA/+IDGfSO9+LH4MIKbPtZagNnLlJV1BthRAqr6Y6cjlh4Wl1GNJYxHDcd7PA6jXToH7F3FJtYWS2AqgSMPh5jCwBCD90RbPZQm8HJlDtQJg93p2+ntCxdk8MliG2idD3mUCaDlebV3xW3oLO7qPN22016Pc1pAMK+XzPaRlqTbkzRRxKyR0xWlk6KtbJ3P+CUnP6VL+0TiN3gCnYEwdms4dbTL+LaIqrauiitWMtm6qlF2HdBPbywZnevbHY2aYjjC1jyDa6x/fXgQHcN2DYZmt4QzbpqoDOR3eAABTL4bi/HTkIjDiWU7QOPeOTsGLEDeFYU/NiH6Ih9zC35+kmbw+XEyLaHXD6wMQIRv0bBixPcokI09L4MHpr5bSHKXgi8IVQ3qHg5roM2qsWwdmgLQhiLk2c/JSRRBjw494fRpGj/9Mrc09mjCqyzBd3cMTihwC4WqYCy9kjhfqSkVEwGgnBN+W4UigMywkLlFFdEuGFpq0v/E+jUdRfAw4CNVGbl9zqXblHpBr958L5mcNWUNfywDnK+53VNr99/lnpkgLUJ2HLDzkyfM8PDthFd/0w8X0HhVrFzFTfLJU4yCnp6yKwIaDxcYcGx9D1JtkOFm4hm3jDb56Z4KIg5yL6CYOo4z+7cBdVMEgGQ6N+GsseBUIte0RdWa2BPyWA4RyF6JRlC8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778060654

%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

