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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-13

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249665

%ISIZE%
1347978

%SHA256SUM%
8a16dacf27ae7cdeb493e8c1f0b96fa1d6b31e25d475e2bdbc2ad67c02bb1548

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2+doACgkQeGxj8zDXy5IgMA//bkDf+q3AzKVV2+Tx+6ZSiWy6+lWNVKZLDSTOXAREAlVabU0b/GFTugriBSPpw5PIO+KZjjLoz1q4Y1HiKF1Dvl2FRf4FS0gmOmeE82jnAZtgEsNxa4F5J81pHeEvx3bhSAq/C23XIkF1iqs9Q26+7A9KK9QXBw/BJC08nYzCBMscireI3BEfRGN3nQVzXA7gdiiSMJhWhiVnsDzXOXeNtXf8M1wTYCstlESKi5hRiC6LkoBVYWh8hMSUDgUTnQ2pGKrybJiElKY2XPlOuycuot8eqJUtPbBXKu3Ts89btV8BgNcnE9aDXZQpqe+SJf5c49WRVy3I7QZViYtwyqUcBS2eEm3/HjuvUQh2x4rU2xUXa2Kd4eT4AQLO3tVUMBqRbWHF+gW/JPcM3AwB8Y95DHiiC35JLaMqjyQcip7o7BHPznIPU/gJEle9dTrfU8a3DVaMDHZsuMQDefsYTimUkBqTmLo1j2QMVpnXdSOJOlZ1BOclyFc5cZd53N1L02GVF+OpGN6ZDzIkae5hD5QYIFSFV+Zm97Yr5g5JOjE+td9+pbuvyd+Mb+FR27jZYn9MYNDXJqziwxtFxES7l14Jvgkh8zYceBRecqVTXOJ738+GN3Tm/8psdEbyqOQltGmWWX07gv50PrE4DlYc59mENLAwT/UnHv8lwP1AV1u5nfM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781987743

%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

