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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-231

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93765

%ISIZE%
621501

%SHA256SUM%
4233f44b13b56ae6a512512085eb556bd811b4e6d30dd7e19d22c869c14a1d15

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmgy8eAACgkQeGxj8zDXy5IgZg//YL+BK+KjE0x2EN/IgrycGww2zKktGmdtu4ozs38chhNc9xCT6lj5SAp3Y+fIlCvbs7Ubi3Ivq/dbO9OuzmsPNfF4bxs5B2sgzAZbZwI8bLzQeuBGij4xy/njXlYIV88jVCNIacUxbh7fg+MtFSaD/TqlY6dRyzxQ8R0vZ8y1h7A35U3SycIx71xwYoUbuvyspLsaiob8qmH4t0YCBFLiiQIZIpc/X2zMazg2afS/imjD+xJqi7ZKkXmnOzGN7d1zNrabuoFWWhXrXvcLFJVZfkdJWxiP9mWDcoIA8ig26rIyaAI3DXwSP7UPq95XIFTOgd9f6NtgOxRQdeRREIGPhZgleYAcBe2gulwHS6y1X6YG8RVYfUa71S2JYauChYM1TdS1Vk8pmKGvrco/lq0dhZj60p6vAKX+0FdikUUt8VIztlJHuxwg9CBFMqFclYQym5gCvQSqn1incIy1W3l4a6FYKUKguLAMndLYqfwZiAGvPLaxIz77LROu6YktVmZYuQpXD6n6cBXvm6VK30riutXP5QpWgdCxcnGrbB8GBpHch8Bh/12WGA1P40jpk5VOblXXPFnZ8NmowM8tBEvhuL1znZSnK+TbdoJIoehXajbyoLeKusK5O2tVBmVRh/W4rnE+HiwgHOyr6PLqJhK5I5EcytE+V3tTObIV9jekzck=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1748169157

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

