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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-354

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94645

%ISIZE%
634395

%SHA256SUM%
a6c6775479e60071bbaea9e42eaf0e8196deffa9b1784db1a5ef44a9a78f5fd1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo66XsACgkQeGxj8zDXy5J8WBAAkquZQN8ImvmZZ73Bma9giGXvxQD+JWZZEGwmCjrmFCXiN7EslOsGM6VOEh/8M4SQJvDtAO1O+Q4yhoj8Ckxlpn0gHwQe6LQoMSE59lYTZIQJ0Q3VJjfClDU5b60VE8wZpuZD6Zh8QufgRmH9yi01ZhY0G+dx0s9L7jND0hQLX9x1oS7NR/4rgKtSuNnjmPoIdeVuI/x1p9wIoZR6zmNi5SgcJ+WhBycjP7SwJ4bPkf8yyiXED2VkbqfsjSDAIM+J7OVo4e6Mfekqr5dBbIn4DbUht7brsUPsGrHwDW8cQg7VtYmkCpdQNaJJaj0arOJ9H1FxUjExGKCxCsjjYVvud/GgRp/HencqshgCtrgyUICtYXgcm3ZoSdoQYEeprYPRcOz0e1EXGQ53zqqOnjkU3Pu4DQG/bK5KYvXkKp7/1m+rXlvSOa3zHJVsvv+yzCozUlknoLRwB0HFzo4778CxsrFMp7ywHwZDEyl0GI/FIcodcVXjBNbbo3CsoFpealJAHtvWCdlnd/mKJS7oncRFCZW+h4my42HJucoUt+LOeU9PL+c9eupu1JXmkTPtv2bbg3iM8+hy7LW5EDqDIR9w311xbZAGbxBk4uosMdpYTzmAIgtrVCb+V8820M0gil9279gpUMa5zApRPEbPvCzkZb3A8OTgypBBT3ipjptXmTk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782245697

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

