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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-356

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94560

%ISIZE%
630296

%SHA256SUM%
a6b7a09db62368a4f5ca657799be8e79f466b45facd5cc214d0f1dfb14051c52

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo8R3wACgkQeGxj8zDXy5JJNBAAnRl5gmBNAoSOwCO7z4eVo8xJL3JxiTcb9g8FZ3y44ABMLzFKYsoRLl1bXdTraZWwd5mE8KKTGV8bIW8enSz6NDk+Hca+o+TN3KICO1Yw2lT5/Xn+UatdyDl9wEqP+Fg/Al/cHspZpUC0zVHCc9Hm2h2BS4tFd/k+Coh53NJldul4hYxaFNcT8sYyTQY4X+uOu4GxMvMMRGFKzJZRu9HkgPwpSejIjlxtiGFOvIfT7+F3gEBXbpsZ4xJJEQ/dckgjkGfHYjomvpL9rtSZ0FbojXuaWsCRY/N2Bwd/fmzp1D/llOQSFUWZqDfHXy800AvaDeXOzsBuyUp7VcAmtcrckkKFogpUszDlRTg/E7SldOF7KmzN4ygw2siKHZLp7inE7u7B2fd8i4xTUyrQtaxC8j9d0HIM/+wW81Iw1ew9CtV3BOfNE5nrDV0YQb+qUceZUFMcm4VVBYa8DUmcGbZD3a0S8E4AG808GBm9W54lCrarLi7bQqPZM1lwfm///ueczdhupelt9hUBX9slCSMOXPKig7Dr7XPYeapgmHxN0H08IIAhms75qaooscT8GWW7XviQK9+51o55+/8jQXdtBX5OhfmR9fx199YJ8KSdKm6DPmeDEBbegLfWdD5h3IpnUoxXtEd6VlHhfBXXRqQuclgEJLZzzaojB0LcdKB8Lek=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782335292

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

