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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-370

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94646

%ISIZE%
634379

%SHA256SUM%
51f2b55afc35db149928a3922012f4465a87dc52bd17b4c6598617fbb230cfb6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq59foACgkQeGxj8zDXy5KAhQ//aU+OjR1O5Dn1PI9D92Rzag38GgWF7TyUMZ0ud2yRnLcpv13mI41QI6KB1q08YUYo+NP+bcTr8BgrNY/8E6mFpRQEMfMDa6PvWlkQIkDz2Sw6TEq/cGpiAs/H1Ru1ji0Wqj9cLh14E/+jo/ykVp/vlis5EDzMVAF9Mfk0Px7Ff7IkQF9wODQKvAd84CI1k0KSOU7L9r6lF+Y2cPFdiEEpbnMqCyheRd2Rd3YQvcVJqTGBoLMZLKSTZvNfM4BE5X/smyeg2Iy26Yj6d2HQ78n4zr0i3RaVqLbhDPA803+Bj32jqZI8IBlwAbHuRJ8mZelNPQFuz2srD6pMlpVozxjXMrFA2L09MHNEmYA7vVD1z91aMZ5ffxf80bo5I+DVFE8F9OgtEoF96QWZbPMMwkAs4ag4wIyctiWA8QCgG/OR3f2u23zzPf0HVjynkX3XLwZaaUtoryuY3GUBfEAj1ygLGhK5VHvWZK8/p7q2PWK+vv2UMCt7koX7775/5hUDt+hnCRrdWs9fdonvxQR707aGByvqywve/DhyV7F22xqAPQFHTpC9IvVmbXn1FhmTIPCx5X0rmaILwOHB0VEV82eGqqjiyWHeTRQUQG+HlVjQbAD6LOVVjgk0b2HoLzwXRXxiQFgkvbQTtXX7HQE/ilxt7v7aksyuvYeddhbKvk9oo/g=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1790572006

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

