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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-23

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249707

%ISIZE%
1343872

%SHA256SUM%
422280e08e371d05a1dd62b34a57234ba66693dc560339fe021abf24ac364165

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpGqdAACgkQeGxj8zDXy5Jf0Q/+KAueAxgXBTnXG+PTIjVaUDcaNCJj4q+lufVzudSBvoJ9mI46R3o9oOzvEQQ7JOQuRn8rQjofwIUS+HyuOIF0NVcxFqKRH5E7A1YetKa+bNosnwqTntClf9Vbx5cZlbQbJQaqj694CMqwKhQaJmpAFR+xDvx8FgWBT7buJdRL50OPq8KSxT8KynGgpTp/m+bMc2sdVgt4+CZFXneNifzUj/fR91j+ukDLy5m739xjlTXaiP203PRBmZpLkVzMmCD5VsoLCirbad+audVgZmNYAD4G7sqeAOwQ83kYsmYGLvm0O0GUdzxCluMtTL5WqOsD8SHJ+voK+iG5hbpHhiW48BwM1Cn7rcvEvl5wtObRvtFOjFg3zk9VqOYkDYbbJkaq01+PjtW1L7IO2GbPeAr55GGN63Ww5wE/zsVEbWSTKK80fohbD+PG2ET++awK/liy9LKUV/kPEBV9RARSpWmbh466q5MDSy5lK713FfLQuYNXeioFiKywVlyMbUt2Wa3wNhW/nnAPYDyJkqm8W2+pwkw96KoHz+M6jaZJqoLGe7jozRAGZsLBl7Q0X79kDgeUwizoft3Twr78chJaSKmy12P21pam4UJ62VoeLLYWUAfZ179NnxZ1KJimsX1Zt/ch4e73Pm6rkxsGmyjoM9/wyQjAyvmDgLXoBBm+OXU3VqE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1783015838

%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

