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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-18

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250123

%ISIZE%
1348055

%SHA256SUM%
511fee7066672ff8ddf8a57676b017ffca398d2a01df1e03a62b0d1272a7c80e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo7lZkACgkQeGxj8zDXy5Io6Q//TZoRvmEhYi0nzpqMQqK4eVUuWFCxYd05ZFyZOZDLBifh7C4Y5XHnWi98iAUDUNL5nVwXghKqv/R/OI7DOB2AzftnqdF9YkLvVwpdCzaeL6unmjExRY8TEXAqGBiIVgNBv/7BaPRpVZOnM010qsT2ubIEYzjlku6D0MlyVSdLigjFULX9MZ2Do//rfuNeuh4glHeIq7vI2dvMZH9GubGtF/le0QSt/QHFk+2LW0Hm5bTrhKi3G6iyNSRe6NF8/hbZsQjolgIrI0+Y9QcJI44BPwDt+F4UdMmIFQafgq7g6V7ynfhIqRSkQfXzaAldunqE5qUkhQELwCwSGO3nK28Nk8xPgqGDNw0c3viB2V20RfbDfd1ZfpJH7e4LXSG33aVLVi9+bQ6xzAWm+minXATO0EzuuHn/ddnEHSBLHmKk5lhmbU+whBKjXcIikYwOyQEBhKjv8EZMsc+UO8tgYA1qMkzXJSqRI/4kW+hGPiNdhPA7Ygbop9DUd2TmNmMO50RMxreDB9G4iz+eNhiu6HPoi0YIyRA7Qh/Wo8l+bOsH4QnwKKARa3xSPVdCA6umJp5ll8UcUNI33htWTkQzWqnchiiye9UtKrY9lCsZEy7WvSe4NHRvizqW+JNXYFSwDVKG7zHLx/KYRYbU0hGdcl1exGQjTNBzDBg2k2LocHHwNW4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782289761

%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

