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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-25

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250237

%ISIZE%
1348026

%SHA256SUM%
dba1ceebef827d6f4338fff4d88d6ecaccde06d698a901b546abfff3c37af343

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSGjcACgkQeGxj8zDXy5JfeQ//blJT70lIREXyE50R2wCWB0kRcxND3O1z6zsj06PmCeQ+N7PmyoPJkIwPGqbiX957J99uDautpXf44kHy7G6rNvczXgQ2yw4wunI8PojXqYPE7tmKmgE7D0ef2EjCSg69thY+sypSUsgSeq/IYFXS54yVLeSa1fN/ut6uCiDZvaaSmQ64bvDPkY9KjGNGY2Q5SXeY1w7KHjjvLSy5VjQCFHKEH+Vk+03STZ/II59nqGmvIxOaeNFepW+8lKe1dI1cK7HhIMhD8GoKbzxzWVBaYp3AofU/rVneLUhxoOmDbHqqnX3p9ucWlXyBwDSfD6TsmNPvPACajTRut7/CJ5LLR34ry9LlZOt6zFNq7uzSAd0K988v50H133xA2shjLs3sHlNaaghlQLlVaHon8ocGzi7NSVhpVhXb3Lm8ljPK2J8r8Fw4jXHL8A0mKMRAYjt4ug4A/dldUwaNAjwGPrRYjXR1utlTJuQAJAOQ4qerkZiMA6yJd7K7bzxcq5y/9sWaxCRGjFZ2rgjXN8eXePEIaWLmudHmYGcMWXZOzNv6N47UGeAKU2q13nHEie55hE+vf30DolxLpnccVcEyymX36Y0m1bxDI8v2iWxokn7w/racKVEsGo2PSgOsMJDkgDBuamBsh572zzfXHCogr6mnoxyJl3d1Wf9/Aa2GbWuIpOs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1787959792

%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

