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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-9

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249515

%ISIZE%
1348061

%SHA256SUM%
f2dd273ddac3460200149dcdf30268579b9c90c8d09dca6c24db1815b00811fc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0bWEACgkQeGxj8zDXy5JcIQ//cdyERTY/FcV4KWSVX35VyePkD7th3vmuFnPPhktZLOzzcYVaS0DvaBBbTJMaiSXhwDw/P9aHoj/6tKDPqKEVfteV0fribrU5vmLG+aWoEHkxWBuI5jdUNAM1UHhVaXxAy4OBADuoZVredEfdVkHwu5xROr94tM69uIwvHISjWMPDDQIa+KJdE81Vo8Q2FpqqAgYTjeBHBbsRUQqhNvFCfZEZF4lOvwl2EQbgF5+ccw1ukTRel4/465z+cUeKGy2+68eiGxaxYtGdfNfWfmESAzWqYQtWVtwPPzou2ZhJLWfrPVivPoU6gnM8VjIi2oh3XpCzOlVfHdj0F5r+Sf9kEyMOgrSKkuSrxYMm/OFAm8tCZOsqfT6Mee+bdx8CEYS8baPm9Iav+l4quct7JcwxlKgTInQxeQK1m4JQtHMhaTtSLhuWIguko3fRBaXwwYVikyHXMK08nqi7vZQ+KIjWHz0TL+HGytykoTT+2A9uqeRoVBfD9l3iwwoEPINA+6YrsIgJz4qLPfzZSB6HYyaweGEFeMjgQo1/99fwXYH5/8XW+8Hxu+WdVaiKuKJDmgD4Wgbgmy7HAlOuX/+ma5UL7eNk7eqnsBcn+S/4DK9CUJH7/6qekYVnVeti4IYsKrLzmEfrJUR4umxB8EOQkQZX+YSMp1as7uZ4Wi3719sr4Jg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781820713

%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

