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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-22

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249524

%ISIZE%
1348052

%SHA256SUM%
d6f9d0544a1639ffa44c1d31d15d11ebf96b9e407b5ffc2d8a34efd2bec39ad3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/50kACgkQeGxj8zDXy5JeOBAAmhy44jkan4bOSIqiS1IxELLLCicEqJgxFMTWjiTU3yAyBrX0ZUFLIvNM3d7cA90J1DoMDH1yRZIX5oJRCjOKgkABGwF0CQRICniUJWsNJ33F+yOn7dOeFfeLUOkOgd6ZszKSTkhXujccn8dfsjRHZXQuHApziHg9nLXELqSQTX6L7DvlxpVfxDOiH+alW62SAbnYz0dNsXa05bPb+cojrDyvmOq+AAl+lX4gIWTKmh5nXduezLGjfeRs72do9TrlnfYpNKRwWtwL78mHu5SUKjk12gaZKLvaG2Hp46C+POxEwdtQuQaFqgQUKlx56tepfzg0A1JaIclOi0ZuOph4Gma8OiK3fb5ieVeUpGNYWUtdrMbIsUPD6vkupaYhpRdd3pYK0IPAkWbYfMsw+J2Xs9a9ONRGR6u7XxhfGQLGLTJqf+A+Jr+9rDAnAG8V+hZBYqV/qKETrILy/eFQNree+duj0QZvoHpM8InQMM1zCiGQIDzVjg3SreGk98t3FUO0ez+rZMgc4FhdqBZCnBC1xXr56Py0bcpMjaEIswkvEaBV7SfJEPGZBdOMsiJl5icLfPNQjS5BR8eZPVoNvvUbc87dB9ryahUj3DBf48F29Y1Rvq4cOwB1rXzdUQH5bHzecNlfEbpfT4hnq+kvmSZ2dcJAe974kxzpLzUhXov9Msk=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782572821

%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

