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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-21

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249913

%ISIZE%
1343950

%SHA256SUM%
afd70888695f1e30ae373ed81e0b5b5980bdece2b08083504b2bf897cbafcb4b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/FnsACgkQeGxj8zDXy5KkJRAAklKuYTb2/4ksGMQHLDA638KTeW2rH0B2FcuY5DbSyYIItJRUrTkCIRnoLIwR2eNq2eGxmNU9M43U00dRoDEtJshKVpIiV4excHicGvGoYI2lDjl8Kta6vXuT694QrWUCnFSxoHs7xC7hukr6khozguB0uMuzs+H/lP89xJwIkcF09cgeWWAGGpeKe4kBCt9aqyshqaEAuRToR64h2HeA+Bxp+4aaaN8TTVklCaYW3VC2oAp8XT+zXPsoDh9vxM3T0/ikoBSJsWZQM6Lki78pZieVsXuaod0bkVKdlDbR6eWnjgjL7svjh9zKiCAzhuHNU8eWjEEeLXzyA4g4uoNiE9dhPGi7drJwjR1GWdde6ZotGqmn8CdY+AI8qqL2J7xiwBt+J2knaEu9loiB/ukGkw25UdQJ0vuuC71A7bUAyxo8EdyAFlVmllN6DRuUFgjZrcdnHFbd+sCz6gFW5fyacrCum2NpVBN0VC6Z0DbhDn/Z+uRGNEX24TkcEaSdCMFgAvnsZvtbSxU2RQe3sNqhfkOnsN68WTpU0vI8Y0T43YXhRu8Nlr2kwFmvFBX+VVzQ0QDCiuBEZy54MUCTGD7xOtMEZLrUcFgLwMfnLQWp4ziqFew4geqQFcCXR7V/LJZ0y6d+b1sxeGFgBLzMUf3l2L+AZnLmXs9pc3DvLgC0jZQ=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782519387

%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

