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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-14

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249792

%ISIZE%
1343982

%SHA256SUM%
05516b626f50b8fa75d3a80e0a8b9d0fda7a1ec36733589674c21cf4271127b2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3y7kACgkQeGxj8zDXy5JyOw//XhOUeTL88CCBb4kLOvvWMLzxP1xx80hBz7QPgn+Pt8A+5s/Ug3u4tOtjpO8XoRZc3/g49rNC2G9za4rC4EYOFbLFn2Q0OY6Lpv2SzukKLBTDeqcqRLwxj9pLT22lKt9dnl7cKum3cIFqS7ORLDq0qAhm5aSyRICw3nKSRjm5hDFRK0mBb5SJFNTaoOhIWU4CfBSc3xK4pGibTXU9mxnJ7a5jWjNwFOScMkjnZpxfcY9iZor9ko8cAh7PVhSsYi4Z8sLeKPndc2rJewZ7z2FmUuQ5p/ZVy0gWWcYvEnJHFPNJyGIfhN5wGRuFliAAV6zTG9cwZoMMp4hkMwlO/MrIHhxfI3FfPG6UIxXroeeZYCnjeVqkWNR9uUx8KV3NJ4aS8QmiXAiMOpA7dk6ZHeVfSYd30WFlxDgt9sV5k3+6fFSxwJGzNi3hfPNOiFwq9DpXnZbIT2IZ2a3lRIXGXCeNzYixes7hSGazZA6IKWUjNMRquSZ2MRDfVDxJujGCTRoyWz64vjlCvRXWAhaSRwDYyHILhFtm6gXC2uXys2J5mIYAwEtwmfc1AWGHeQGvTYwbP4d9+iiGfUlr9vc1dkyGX3SNTAOtPxbULZ+M4nYa+QI0sTHkwoTwiuI+hOFMcvNEamEOpMXEpOH9tTwxB2DjBe04F2nkjsnifOt2t7ZJ6jg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782041493

%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

