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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-16

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250074

%ISIZE%
1348066

%SHA256SUM%
e2d67d602cdc0c678a8f998311856cca0542cd33019ac883d16c7e6217852267

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6rZ4ACgkQeGxj8zDXy5J0dg/9GRDleg1wlD74yAYjic053hpKsUGLcKoljj0mJowhMfbdCPAMNaCmD9v+EZShKHQ0N04HUr5RnAtw57EsdRB0sWiq5cEazh6NM3NmDDCIglTmM6ChSuJ60Gom0lJialsRsjDd7+qQ2IlE/07/WkmgGhPBclZZV2aKT0FBiCXxkntyGiAiOAYL9elUbktxzW7D4ZxOOuuKYTlRfZHTM/cA/TobW/2Rme+ep3hI4h3US4m3ec1MtNM5ylFue5/zcDX4jTrNJQzZJ50bFw7NNTmlhOekmbAJ6XkNsNTg8hy8BkGnNQy8LmHG7yikKXN1yVw5VeX9YRdOHKt8t6We7t5r0v2MMkubg0WYxoR9LiF9EMHHzoBTWL08FTxHpCKkylMQRlLrCSn/BRIytHT1RJybAveNFOdhTtxSdukNo00YpJqEorwvkP/fYLZcSmvRudcrIYp2KyBcVRy2cU/o/iCrB1y0eNhpt5xYDg8VQ8kGDxN+HjB3GxcOJJDamSRqad3vuChtqvU0tUuOLGkYEUWj/Kj5ufjRW4hQ4EIX0GTwamdATPIG57U7oncntiuq05uDq0HLpeyKkMpmx2FSFmPTOp6u/62SUIwSs6LyMkrJaadBiGDv/q/9k3yK6YyZUTlQ/TXYI4Thr9tnvvE7eKgQgNQB8e/IDa4GeCgVIW+kkM0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782230381

%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

