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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-1

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250139

%ISIZE%
1343912

%SHA256SUM%
6f26b9c38a29c361b12cdc0bac01dafbe31cec0be5ed525a5b6f39bdd9ca37e0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoCxEoACgkQeGxj8zDXy5I9Kw/8Cc3at19/Yuxj5+GzEpXVXdv+mxOSTNIQG0i4LKlfDu+/xcVJoUimHe8Y/BFVosIqO6BomErlC4GEqq//oBUx/slkir3BvrFidOoEyPQ5rHN1wmv2xQq6hseWfjFhtemSRmknn9L/3xEYKxbHhL+JjV+hij9z/W2lX2RVs4lauIPN/+cwAzE2X5gniCfw60hMf1A6hE3onDHidhzOvDwAy476zbilnX5u1Y8+cmf9TTEt9k9B91hCwvF/62ftb1Y9vnzGcXE0M6/drDvZQBgoqmxruZmr0iL3Bb+ZCOCJYcaTF4DZPiEBnEHqzhrkUAiE+tFWQJh3xGDPcbiYyanKfR5bmmlRTUUY9rH4qzsNLkldWwzt+U6qtx9tf1Yjc7bV9OuRErpSTZrc0+9XdSbm4c0cfBVZVXnOPAWgmix8PuL6RukFxtrm++MLMg80zAdAcsHKZvGWhEzVl4nv+591Mag6bgUE4fxprun25nsIljmNxKy1Yct/KOHbUsvZGcM4wPx8MGmW9p6NJ+DeZUoPJDVFCwtHDBwsnJMvb6iKotCkcjyuGa7T4AG2oVvboXWiYhyabyw2NL3r93ABJx+23psBZnl9a9wQprZUoofPRRQWN5c5sLxEZtWjBlBlCkD+ofceNRfCTf1H+78HJiv2+iZdgqy17/BpN2IQv23sqI0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778566183

%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

