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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-388

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94576

%ISIZE%
630310

%SHA256SUM%
ff630e1baa1df0fae087e8bf6646b98b545d630b0c1e54273c3af56c14d1d28f

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAfMACgkQrx0hme8KPM9vJBAAr3PNvabs+6iNRGBN9t/MlJfyGjrZY91IcYJwIuxOOjEd1zkOhwtRUG8Hv/3Nmp9OtMdyKNEsj26crn+1GTLJxTAvzcY4wj4HRdNEYqTl/DMAIoweS88iqU/P1DogRWJv59rW2wJwMytPk3o7jm8p4UBFB56uk6ZoXGx7tHdT8Wh9rFIkQ35kv322ZNJUawLNFdTQa0krVmyBF7pVpnJkVfaWj3edzzsAb+8Zy+H1M8DZsM/pwNOXceTqctF8DBsQJS1Hcq/VYuD+x++1O7p1iYURlYcOKiWOXlfiovAp1AADIj82JKLGSvXOI6PN3YtD+h0pE+Rz5og4BuCpa0eFV+kSPunmoe59iwqFWfCS0Rj7fYkUBY14XMa61GVvJvNAKeIe1WZjZshERw1ApOeUpPB0vZ+31svPoegv3tQpIf4TYVLl9LNIGAGO30Ss5Jc9mSb9MH0pTp/hDlXG+sE8CYLpZJYrqd1hqTSqmBLCjaDWLdjRiYIXmTKlA6NJyz2ApHOD4/rGrcrXvs1hUpCq0D8I2f0ObYnzw+vJdFxhTiAtktx8pUl9IlxlPGdZEsalY/cU5H2e5cYxn5ERD5+JjZA9W71CVruQk65saGq7HY1wub39l81j0d3lStC9rn4fjZa3zGWriQigflTkpLPEGZXK7oM+VfbSbSCb+buiKvY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792753001

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

