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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-191

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93754

%ISIZE%
632018

%SHA256SUM%
cb069c3b89cac8ff0fbe2b26472d69e305b8abdaf7f352078328bf58f48b33e8

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOooACgkQrx0hme8KPM/7sw//T51bCdNvZFbR02NcKfuhFuRruIRidjK2A9xAqAQDdOGmEsG23RxnOZZc05ua8LgpdRwjiU+B+NddGVo892b1VQ55xtRt9naxF49tm7xV6sLbvatboj0qWeajrZUzfKRoTeDxfZrY+nGLWcfPbvZNBfetRdpA1gFRlt+kHLRJIfbqqttOkWHUZNYNODavnLfN+7/60Ge5AvIV3NTLJ9fbNnkfoiTbLjukYllGvGlYZdBcbfoQj4GZLlFepyFOjOd2Nua7p6dfnHJRsS4R+IurZSceTsqRQdZFn3L+LHzxf40LRXfdoC2cBOrE1Vfkq7IYWB7G/PVdq9AOAGZoH8U5IPY82BZC9YddKvuAsVd272IwbpgEVmGMebuVsCA4TpPZEI93jGRioHq6hLKc/D/MHYRly9Q5y/AS3HwX1tUxhSEwU/O8gPx3QMgpJUcCeVz3v+3CXRsqwEyjczfeNOkmFIzTlxMR8SDm3kfF34Lo6bsOOV12Hx0gf97K0nCR4RwS4I5x7wepWaXGfnGKQk647OCZPVdD13GcE0L4n+TNE/gmsZ6Y5wbQpLPI8m06isRoJQTPBL8axZfcAcFM6LmYCDh3Zaxa/9cPGOUZf/9hvRCaFFghyfNeH9XYZdIypSVWFKpGXlDIEuoKMpdovb4UXVfx01Y+SvP7YSrwUBlQyVE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735932240

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

