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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-39

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249511

%ISIZE%
1344041

%SHA256SUM%
0023f6eca532b34b41ee8d1b5613a8151efcfce8d0f406680c10cc812de23a9b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrDfEsACgkQeGxj8zDXy5I5bRAArk36CnIQubgtX3LeyHkBJL4JMCCAlsHTqk53WdsMGjj60pVF8btVWTtUJIg6dZQfnnsoVd0FU76/SEcxGZk46krlT/SEjrlI3AzOJLU8Pd+G4lpU4Zkl3KQsGlYcmP5pAON5ID/hXiq/StvgC5YMZpgVsFDMtlJpsBqP6x8vXI8WElT+YZzdaSaAHvjQv40/ShKVpXP63IiTAMs2k56XL+0Lwg7OFHE7kdb7fTGzhd643BGPctw9MJBf/zYoKYqbWr927NbWJUYv+JFzPyS9vfKua4DnTaVDGEBN8fqi5A1WoOkgW8l+rMe6v/UjlQudjicPVvHAivFtbuKnhidhu4Q6ChTkF4ZZYdioPOS1YUOzBUSIhnDRZGtbKKjsAWhRD7GZnTh5HlyKc/HkFFoTdU298ysFoz3BGUpmvxfyMk3QhEcceu1BjSLW4gmBs6PlzrZEnJrhKML/dNGbs9fICQV8VC52vGpUbUKv1LZOxCaiJYiSzYAtkVynfTEmwlk118fwps7mhYdgUG9kh2jZol2mA3WNxGjhM+PuoP9AkB7A2V6ru6XNyiPt6XwfwLLxaKdHk9gnjyxl53QNVnWbOLEcBchW1BiCfXxS9S05CINjZznw2RA+tEn8RUYpsEI5d+fhgvvO/NrAcwzq2puwJ0IFA5ylKSEm9tZtRhlyS0c=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791196113

%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

