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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-8

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250038

%ISIZE%
1347966

%SHA256SUM%
ba1215f30926427b048bc113f689d046beaae1a531d34aff7179bd2054c4a330

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmozt54ACgkQeGxj8zDXy5K6DBAAtYUX1wvA5l+n40PRhJ/OGJhWsVl4ThbIiJz+4k78Sik+l2zuyXxh8A2X6R3HI45IqBsEHzPXpTfujeVRC3cEpQj3N3+fSE+SELYoJ7SbgJNSYB1h5zR9HpKlj59SAE/4QhPZjs4esd9TlpCwWEg9/cEzmMJTOV4ULyYoPxxOM1RHiweeE0DbjGEFbcaTVisSztOZv3gNddakUZdNcG36euv7kvgUCAY4mFWiqlDll0pGXXkJCIJQn2lFlCIHE+1bslVP/KSdGWJJY0ntAAPk5gmdrZREAt1WAMJgAtvunLDSnnfsWnmVay7gHW4nX/ScOGb0W39WwTHx7S4Puym3CuCBnpAGbTubxliWDz815TuX7tLdG4Foye4DRQOVYrp7h8VkgwkNo5U9OKSrohj67N8G1SH7K9C2zNn4dZTuGUIXHnU+AyVJeZbYHBSwjOFc5xKs+rwkuGGciVXJmP2cnPY3t0dp+x38XS6/iT+2LRI6hCBinq3Mw6AO7U+6FuVNShJ0rjjcIkbPN1UH5qlnIA9mVwR9XzoalYz3ffKOzGTNINLcPBj9GzK967vtisuYTryaVXxh4gkrDT4/b98fHI+8c+jHGxkDAiIpRV+B7Z19aZDX+XrRYlIwaYAyWlI1zwv8ev8QX6dgXpHKaanC7pVRxjMz0VEKVj3TuCDBrOk=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781774202

%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

