%FILENAME%
haskell-refinery-0.4.0.0-363-x86_64.pkg.tar.zst

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-363

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94573

%ISIZE%
634418

%SHA256SUM%
1012ee66f1b9052c5e3bd88465992baff23585c219e99367d66de570d6f6542f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSe88ACgkQeGxj8zDXy5Ly6g/9FqttNRfF3RFYjGC4v73Mt6hu0tHwQkhl1E84E1Cz3iiyLUOFyDWkT1Bj9O7ETZzUuoqNx3MwuwTxaE84ckfVaZg+xgp9HaZMGQrymWqMoaETrHVBMhLwVfAZz/jq1y2gNyiOjAl1uRaclXF3WLo6/IZoZtgQwbbpVknZE5UX76oOy/TvCBw/FumtJJpTNqccpbsvfAsyutLVMhQ9QWHnHcr5q1pU/tbXI3ogNtNyfTgmue3SUqOOJm2zZlTRBHTeUw6BBQJpfqFbTRALAu2O7lYt/lDr5jf7IcwwIowUijeytBunFRIuPs/F7ttmJUtMRym22dZTMipYusswikGb/G+XPo/3dCJs0vh8O75I0Ebu5ExWKXztYsHFJbt3gKrDQ8CUrhGehvx4BiiQcOlRgkfp1wrB9u8+kQLiJClMPTzeqyfHW0aJGY/tmk9WuOxi+x5QWihFg7FZUcWiT7dbwYhuAWPehxt/rUtb6UTYpdPswTMCdaJ1xczHXJSl6BMfNpxecp6D1qgD9kffdoypqzvxoz44BXHDu2E2BMCO11r/VpeTmcpoHmBdHwM1CmFoDDcWosCnT0ZXZbRWd4R9/E3qg9paYauIDOgEKFrRth3VHtouEQmqn9N742J/G2799+fWZyR2GtTIwK/x754UiJPUVEPQ8XjnEhiGRfS4kmE=

%URL%
https://github.com/totbwf/refinery#readme

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1787984834

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-mmorph

%MAKEDEPENDS%
ghc
haskell-quickcheck
haskell-checkers
haskell-hspec

