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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-2

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249826

%ISIZE%
1343928

%SHA256SUM%
c27e0fe5c7f4d485d2bb6fafa560a58adec3b522fb3232a44b13760b39e82614

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEPnYACgkQeGxj8zDXy5KVjBAAlXVRoySaymDE7Fb5oi8xSzanHSZR7rGbTLPga2bjR6hVtTR8iivuPA1w2VnB+MCZgdmqMtSul1loE9FCn0gOiHVIOho0+kmASt3/gkmTarxRmMfluoU19IONRi0JNv7nN9XMsXBAa7ODE0izDXim7U3eqZ8x0P8SNF/tZG2aLAkiQOYspbPmjvNlZ66vcWlFdVY/aeZc/G/SzUcVLoyMdBvsLv6iEAktEqNAiLTipwnDUg6FyfhukdtK8y4ZTjbSgevSUw5yd9r5K9hWq9Zud6Sf1WAYz/kQu+UGO+CKeOzkRPAgm72YUbsRMR7GrUrly98d/3whGUXHxZ0iteeYzDo2NRkE+gOp/lU4McWtansP25LXfFpwNvFB+YRCD9hU/mTmVZu9QXp6sw4a403j6Cgea033wuAQIk8Fvk4y+HMjr5cey//WVXJivomrp4N75H0rDJJ4dthdBHKTbv/9+C9jDGaIB9ZdPvXpcvIEJ0/ZrSzsdUIDRgE+FFZH4kKOjnwZDlICrrFC8C/9DPIt7gYjFjIEHnyG2UCtg7g0+oxNHFO4LO71OqFWO/2wJdTf6FznWl0jMOXowmNfwck9ZqaOxSpMKvUkBAKhz/MwNgly+MsxTcLc7kMJ4ekeLfO4Hu+6gN9ns1T/P3u6d1DsgAkEqhEM5Z+6S4PZ7+9Na5A=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778662973

%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

