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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1-4

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249032

%ISIZE%
1331279

%SHA256SUM%
3553d321c60c621a0d8a7d250a47fce304a3ba51120fdd220b99edb5fee5cfa5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkspmoACgkQeGxj8zDXy5Iscw//RrebrSd671aS2tT5yMyYHPMtmuQBsuUCbIVgxh5SVruvV2ZdA2jUqhE4JqSFBN8x9IAXdTptR/Z/YDCm5qtw7fYa9md9kJJolpGdVc7YO4qRzKg7T6PwZpuh1fHFcSJRzRF58Xg0nlljWNcf+D3uEq+ghKlQjSsKJld89W6YdVsxOdWeJbl/rN2r9wWDXN5RA1K1VeVjYzHC5DaH6N3APLo2BgcKDcqT2WIVRMg7m+7H1NYIDG8KLDWldd0uAA1cp23IH0bj3zs1p4F90lIF69lJpIWPT4HMI4zEazUCTfXEcF1E6KgmmA8oSPHrt725r04RHWwgUZRg0XHUT98wzDwb+eX5FHrXFp9q8fbVGLRPE+P/1R1F0UV7ZfXsTA++xmgKW6tdislkqKnY7w/jehd9WlG/FdkBVxa+Rcv3QRLRl2YUdJdSHwDNhUYjDXOs3rgVtVEJAPvdV2e7TQtrOMWbez8hwRokUIOKIw1Npqsnb45j8otFBYX+7sMcpZZfZ7E0Mry0tRk6UMWfieRtEJd50+QtrP+sixFAy/SmKsMlRC/MXgnFySgE7232rqppJrc+5thdc+yWmCrIIN7AVFgrkpk7/KPaP4NSPPCmdzSz8ZwZ9/rF8jkvsxnZ2ueR0QoslJVmMcmcDWEUwUDxSuUaYJ1GNmesmRz+ekHrm0k=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1764533812

%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

