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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-24

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249401

%ISIZE%
1343844

%SHA256SUM%
9a9f187e170dafcd61f32bcf0a44d234defea060802f07374123c0329f34c551

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp6i0wACgkQeGxj8zDXy5JgVQ//e5TgBqKagUsec5gd6qegL2mJXvBh2cSTamHbcsDfSWeoyNpGYTqv3VZaQdYOd6sdF9koQRLAi1wXvqN2JK/OOi1vG4dYJ+njk+GFlTE02bfj8oLZStvIJcZ0kWeAVOnvBIBRQZqlLwNaZv9+RoEibo8uHJ6nanyo2eMrk03YOT0nPbLkqeKdnfIhPp4rkFsNYrk3BSgB5oLuOv7f97BI78SfSNnurVKde6+66nOh5gpLbxyCTF9z+Tfb5z+B16QNKCJVXj3edQjYNoAI6UebXGFBL+6X3unioDov6pIyScFAYnArtuwCK9G9ol8rLteAPuPkaBywsfKvXS+qYXJ46brc3b11MkZhKUnDmQ96Ay6rdIc9SSK7t4wU1nd7R8j+XBKny3DCvbtkEh78EhtnLTV2aNp2IKDdvd3YulLMaMiN92UxnkXIwd/0bfTd1RjXB2QqPWlmCLRDjpBy38gJABMz+wdQynChgOiozLmufDiUf9cZwKSXj0jnr2TSvMq1AXlETszgUSU7LoPm/8ZQaO5O66H4od7uQWSzQ8Cz5mBQFLrE98u0t+iuFv/mJolevu7cx+nRPMv6GwNj/raiP1iC7TBxF82CgvXRbXBkuKm9lUmI+6vwK2XGecs2n9FzLWTEoQXMjaThKYm3/PPJiuve6c8k35GL8ZsGDKDMPG8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1786415845

%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

