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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-4

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249942

%ISIZE%
1347949

%MD5SUM%
b8f5a3305cea2f31a3a416ef234eda24

%SHA256SUM%
c8cec7aa9602f776ef8c7443dfb57dbb678ac8cdd16f662ef81ad1724fe2ca91

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHbzUACgkQeGxj8zDXy5LU7hAAolCO5p7U/Hq5ICMsxSLMAuZnC/Qscgq6zu08pws/8+A79qs1LhZhJm5f/GRihmcpMJf/xPEsZkRkjWlZ4+0gUGCEIRLikOKiw0sZYrxodyIlcJWGlXMLZaXIq6m3yHQJblgtXFQ2vAclRbwFF9N3QGmrEcNMBfgrchDbaDgLiIE8vKEDezsaRglVMKNMbYUCRE8Lsiso6TGm5GLN3fDYaAlItHjHAufXCp0o+RU6ZBiEV1/YRxXK+A+NDtBeC4fSRrLbpJXQH/ii5gOyMBqGq06yyozH4HvKIV3GJGCnAkeC9Ju8AsgTFZSOL0O3bTUQvmh7gjAY3uneP9vAlvuHZqL4FjDFjzhP9hbEu/NKIucKa9JWSwkNH71V/LEb0m2L7MQqJEMuiOITGPnrQ+vYPE/iqzstranqIF5VxU4mfMRwbvyf59EV6kpirb3wjEiGz+JFOxEIg80UNOC2eydiPM4xpC+CrTQQDWesSvm9IUJxCClIm272mQXXqVfkAjhoaZMgf8xA1hKfVlAmrQBo6zo9vdO4sQnYgiliik5v4hEvVmKPjIVk5YLpUbw/DOwf2ljFLQ1p1gTRovgVZXfG+C/vVZXQ2t/0kfbbuD7/y7H6DAaYVRngLgqCenDXDTLzIs2e7vWUIxq7isAV5dV6mTjZ8Iv3hqxOorYDopAclNs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778872085

%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

