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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-343

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94655

%ISIZE%
634392

%SHA256SUM%
a30b0a24a46731633f61c5c015b80db608f043bfba6e96d4c9cde3852e6ba61d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmofDVAACgkQeGxj8zDXy5Li5g/+IddqDRfNPwXP+ZelTXSo1oNqZnN4QmewdrAb7Yg0rNNj3AQVHkWxM6eHTDa1ayYa6WeAZrE0pI0ILDKB8dXwCVyS6x7ppchdOcMlqtd0MtG58bGTZhLPJvdfraXzsgqskAsRr4epSdclxrjRsFLLztMSvLLiVjQ/JAQHgdVXND+qwXuSxWHBfaQFh4p+q9Wxsd9U9g44PlPYEAjtpVGYJw/0/23wLSaDKw7L2lODnTLH5wpZkNR/TFzrnnn95wyBshXuCcJ5HTr9i6eU+T8N8Gi91Ag5G71ECIFplqp49KzVtHUBet6qZvSjcrRPIvNE4MdrLaOhjOlpqKLZmLiYwIaRklMLOUTvXy9MFn0Et7/3YNu5ynOx61wpxbeXkEs5i53AzfDFmpACtQQQNJY3aK9W7mENRb/dJnQSDGtatjmXNi8Dq+nCdueujRz6R+heZ1mwFLrGKEtGb2RMADEpsULFHnvA4nDp00k3fzvLnHSJvj6w+M/OS6ncq1aty/hQAUf+LebIeKzMnWlG5uJZ+yzpT775o8AWRfajpxr3OGvPrL9jktzi+p37LAVVzUTQgA7MktjBkQZjrNtth+JurLTq5pfbtFwTLQsXXCq9pnVldA7MgaUWp/U4pgOZMDCYOha7Zx0+MxfX4dAkVX5cF7G/kc60MP+pip8Vnp899Wk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1780419904

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

