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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-19

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250027

%ISIZE%
1343969

%SHA256SUM%
3b4b936c053ea4e72582c3a141d50853cb584b5030dd20607c4180d03316613d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo84+YACgkQeGxj8zDXy5KUQhAAjtd7CBGIak2MyYPsOVIxC7agIq2ns0qTHq2yl6BJjHU0BAsKypR0Dlcrr8JqSNCRnlFBIvnyHNg8DM3WJW6nJIJh7Eplbrs3trRMxyWUmzjqP62cmzbvBs83B0EVeYM7tc5NsvjyrPbk94/HLZDIkmMOSNPM4qFHdqwrmlkZglYQenWq0PFdf4LNIOj0jXnD4krfEuzQbPdlRIURvumLIAgIxKM2HY4S+8TwQO89avPytkyoxZWhqOuC8UZ48gyp5klpfElNv9MbSELY+OvKMzVI7lOQRPhOD7wa0MnnBdoZuHWdp934Z50Lw1xfGeEr4BJjYZ/IvmGhLcdXe8ni7k5DlQvRyINNhuL3FB8G1E2nXK49RR3JOACUqSRD0tGIryDyhoT1Jk8bVxa2WSGov6SfUAtzXgePbR3xsGCeZUcI5NwcLQL6UMEIn/eXHny0AbIksDrmAM8T5pR6GooB/hml8UF3mbqs3/1PuWAbAjQeYE7x0RgvTG5yWEj1cGUiJdiqbYZCdCE7UaKm1YjHbycTckcRUyI5l4JEyLQT+DvNCPalzxf1Xt1ugfJzuefvx57e8a9WEqhhDL8TkT9TD5Ib0iAROuBjHumXg8e7GpfdjKUDzELLgMWHEwSUOu4yaSldW8HbdkulfyqOid4N/sUFvY8TeZ+ujRk8Nf/m8N8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782375318

%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

