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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-20

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250223

%ISIZE%
1348043

%SHA256SUM%
c12b635eb8be3f64b2c315dfe01137a5d7638f21d1363bb44ff0de887cc2fca8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo9xHEACgkQeGxj8zDXy5JIfA/7BbFvXdq1SFrrR9Urzj86rMFoCJKte8v5ECVQLLcwCFm53YIi9fB3HO71iYJ0yfH3NmsWOoF097/HY6u8X/w+7v79MDaU2f0G4XyN7DLAxDASKKpDhj/nPikZ7GM6kvI9OfNFfEYSiAijEwB8yYomtR/st2EdZ4GYtlsnNA5AC17lRcDJJZ9+JgMfScIOoDhPxQitHRTJdQ9abznHTWt6Kc8OVWY7n2qZQclnbzrY8nWRX3yjDQnVNbqFjwW4DtAmBB8m5hzga2fqs1V0bC267jGC+YGp2EVYUi70yzqkN7y+7GsEI+iwY1RCMywZew00dDzrCvSpg78d3stXMi/dSX5aINHhKAiyYcu/O5kW9bnlKct/wF2s5inMrbS0TqQFhT0zdBxJ16grDCcgdJAkRVFW+f+ggbulzxKaQJBge3MQ/eVjwNp3y3jjs4qqXDexQEcl7ermpXa8T/dX+1KAjymDaZCrO7wDSsiMBz9q3BngF62LvSIXck0T9pApmV4824VXY1a4C56njNO9a8+lAWDPi3QkbfDNC3JoBxoXN/KgjdugOHCy00CeNl4k4idm6ytaBZ1MPNA155BNyxM2eLn2XghURhAPOoSD8dFTEDPy/v3Yc6BwtJjhS5lSOzUojoN4QOX7noRUFoe15eYJS+IArJZL8azYLvzIA9Hof3M=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782432743

%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

