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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-11

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250232

%ISIZE%
1347924

%SHA256SUM%
801cc9b7edcae793095eaf080108f8ca1439b32a501822a4129998c9700776a7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1frAACgkQeGxj8zDXy5IFoxAAnCSi9lWOQKgBxK9Xez0i4iF+seSZiIwVa+V2bNhxCWORAo3iLQrvpvQnU28wNs2bhF7w2SzN5ZR2A84zYLZdV/xywksJpvAkBedYmZhi28YomDRmy4wBL9Q/cQIOCZlVJGaPU1uyHZtWaLsm8V8QdZ3JLJknurCgOoDti3gGopTpYoLIjt8mPOahP0+Zn3YThUI511GEG0OvDdG8Xnj9Uggbh4S+2xGFKa34oTmKvHyZ3Nar1kmMceQ4RYRh/vrjiLILvZG3AUIXLOc3pKFyPsokwTm4J5nQ0RDgP00rEptf0Y2rCPX70gLmtMll06oXAHy/PcA9Hd7m6va8oqEusSxqKgBSXZDLp3LjD5ZlwlxDhGFuXIBf10OhMGfZr4HQU54FF8Xk14TT3JFLym+RYxxbQ1zO5L0TPdXiMXOSh4V31p+RLU+HVJSaWjU9LGBBn05is1T4IJ3ItT742v1x+y/Ear85WSBb8x/Mm1xHTWAUXkqpM5e3RF9ZSQcJVoL+wfJIZReNusgxGdE2KmixWzk8DI/U/5M/Fr3VKbNyBksOPcNn9u+P58rzNyiumnrvxfSI6ZxwNafS8WY+z0DbaiRE6kDbJliWhWU5lRfwT4OS7j8Xgvna7PXdkGgya8sqEevdK+GpvwEq3mVf60zrBidBvuVwXzZI8y0VObwQOsk=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781890622

%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

