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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-15

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249794

%ISIZE%
1343869

%SHA256SUM%
680cd7424ac26e0679a44ef3acb7c8005f2acff46ffd966836c9613dee57ef08

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo47TsACgkQeGxj8zDXy5L64g/7BX9hJjmW5TUcHj+9/qPrdJ/LD7p9R9mKX6X22vVLZMCDnWAiPWn/dilghUVRq+TdJn7kmMQ4mTD0eT41ZuBJDg7+5+HDizmahbmgaPqGzrP3yLezT/PF/YNTE77aDuKUo2rXPAe9u53iwvDh9ZJ0nd/ytseAL+wAVuZyrKQamTyOCSx+bBscX2PThpK5fP/S8oAdW6Ga+HrHfxY5ua6QEc4msRQKXG62sC3g8/feX0Dcpx0JM045GknoRjXkfG+yUjn2CUyUwGORXxuwo1m/iLjGGaSMB8xkj50DBzJjwaSHBFWG2TpP3R/QO1SGfUoKo+Bze2c/dvNgEkOL1QkMDutuiegxXOf4AVE5w3zDXqxTC5vAaOQ3OGPEEYI6kJhYRwIGXG8w6eFKsLnPc1nxRmNeY0F4ki916jjh6DsDNDUoaR0ymAWb1fNlN6i/53jOLGWAJSDXd/KmpeWf7Ig+0J5MMSPf4wpILl3zDB1iUt2qRcM4lviOtGHotUfc+omS0qbHe0Joai5emLihOEx4ajZm1OoUvf2OF7SLsjEjyRdbVthMGZ8EUNUlc3PxBLQnJoez7b1I6TY+NZtCKtLp+5b6lmP5aqQ2ZnCi0pSgtTdbQa0aQjNDPEt/JUiLDkzUNj9VEhcvPW7CtWSsqvelkdGxFuMRf7+eWscMbsazWcw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782115606

%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

