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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-374

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94551

%ISIZE%
630289

%SHA256SUM%
2c66e9197f4599da09018c6ea2fba6405d1fe7e50bf0bf031c50c77892bdf13f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBPfcACgkQeGxj8zDXy5JHIQ//RTX3kd2/YxSQFuyMgCtUdTPKZJyPKWN0QQWsAe2mvgsMxJsyonqJidw2IDY7DeMXn/XWP/1CXJJfDEIbobqD4yijA0OXjTGZqp3Ybb4LZEI794CHtW8b768L6aDgAeiX58PDaoLG7GIEXd+4+BzDmSgYSIsfg9Ev4L4JAw2oDUkRczB/18OJihQMV9zXd0l7F0HS/gGTTBM8zMEMWI7YlDDfM6M1W/DrnqQnDDmmtCIUfpBCwfbfOvw8L6urTLrjuViekFfSNXpEZ3s+1wpaJ4HIusNpnDFp5Tt/WAAMrPPJojRo864Ix/YbUlllKBC9VNujQJOM9hMzXXbHn4Gwru3d348OV/AkRC+yPZxKI2Sg82VF0ajxE/0KKkwbq93aUAufmmetXLXTj7NkfzPU/fdv2daezY64vfwkLRhkMMBgm49etW4xy0Oote5zapNR00bkAbsxgcXjUgBSo2LnYq+m5hXGJv00w6Y0gE8u7NaScsOJog00JL/gEGfoVAlAESClQXwtmAbEAENWqyKR5vllqvFNaFzXD+iNpchq5eGRp/qKH/fBCyMnPpY2WwZUJRBJOLoBVFqnwP/cNCnh18IiMG71Rj2oEnr8p79CxFswlIgm8M1PITTg8g+AKyg4TwW1z2Y1nOI+o8P3CQaNldvL+bRRg5MiUxm5sYnRa+c=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791049186

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

