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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-32

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249429

%ISIZE%
1347965

%SHA256SUM%
d9a7c3b75b4c6af9ec1a32f7917876c62036815c29e5ad1d8b23eaeeca828812

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq58JkACgkQeGxj8zDXy5ICIA/+PJ4wJdPWRpWOHwri+u7O0YR/a2TNTAA+/IH1mzUHbTLjZiU0xg8Vcl5oaOfdWM7R2+xNjgxLePQ/+vKBk6KRVYscrlXxFLWz480izpzvI0taHnWNMJ3EvW895dEJ0tU8SKG9vi5KYM+dfVokJ8Jx63A0KGh7biyXRwQV6LsRua3fjb0gtk53fPIYLhuLpCUQz4C/uT38zZe4sd2R8UpDKLI1FCch/+IHwtCzJVrWlpCHLiU+obHLKdaO/GK1uckJ1GIffTBthMJ51QKrhGfk5sQTveVWl1MZdh3Jx0CYKX00VoraTFWPeOGsqQkAYyr7aZwjz70c7cgB4ABC8lQwqtF2+g2qHIPzQWuAPb5GFLY/UHxk9W9n/QuwNYDPKQI8BpBeDDRQHvW4MqK+JmSulgRoqqFJC6ODoLHnvinqx/txSDUmoUlU3lm1cDH1kIcvfPlJOtF8SvC/zbQOS6znsWFX5lAg1pGzFhMuC2ql3SsS1JwPRuveHYFZhVq3jWbQReh8xwoXEgMq0IrgzVyIJlbyXJithnzmYenWU97UisNESGKc5zUyZ1VTHy8MzPmz6AKW/JifqmfSwbwLfCVXdAy6IpcmVz+ZsQdrrdOoZO1CV9h4h7zw2w8oMvP5JRJgJ6M0yaFT8be1fc+Hhkb49jQwCirvo8cKMDfGUU2IV1c=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790570556

%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

