%FILENAME%
haskell-puresat-0.1-24-x86_64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1-24

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249717

%ISIZE%
1335379

%SHA256SUM%
cc95d573faf6a7a97809e732247cfbc777ab493a5bd2b350dc36b7bd5f56f794

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8MqAACgkQeGxj8zDXy5IxjRAAvdUFawqo4XiSjkjm93xC6goWldSR+7dFasptK4iM2sHpeZq/pWh26KbyEgsU+0XYmq3a4k5UHaChVZ5kkyCDbgIrwO7rPcM3bq+XlO3Q21cLB3WETXAyuwXK4dbsckmJe776YDULMR/oW0fLI21BC7I4qMo/rqGPwGPdOG/08Fbg5V+bogT4sja+2ekkLVjzzfvR7iBnic8ntpM9G5uxG2sus3CIYMGS05ZJSBwM+LWE3NvGlw8auW+UhyRDwE6x1sj+7zMRH4QrBXTBayMD3YA0G8WcSQV/BHHbStaDhcThidM3n46YYTVu7JEylNRTKJj5oqm993WX6BSqgKv+F+JN6nTJVklPPRZ6F1ewXfCTKNxr3yeHp+gW3FeNaIQVcKheU4+acF0Yfxg+XM0liq7BniBzdmRkHPXU0IXjdYC1OUIFo97PAw/7ztj/uNJe2QhFj6HY9YQIrEZcyZHiDvFF59SOmvAC8tNHhLXUYUEb6TfrDNvC5kdAMzx7uFoTQhOEsmtd09cKL389MwSmii5I4zvG37GCeHfvu9I5Ha/Ei6KLUU8KXtEh0YtOLoipsosyQw/zI6SO5MtLdWvXgINHqYcg1Svl5KlEMVALaHLcaR/yVHigfyD2Epy7pf3GjWsyL50ERZJ54dpHNkkBVAS5pFkPh6cn374VY4mR+Z4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778135654

%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

