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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-334

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94547

%ISIZE%
630283

%SHA256SUM%
efd9b642f582d4e4b38eb481c9a5fa2834d156677c9d0439229cb10bc38e749d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnxIOgACgkQeGxj8zDXy5LWKQ/9ESXuY+4ahUWusy0ZxoMuCBv/hNczUmkRkRDTNKY21OqCwRh0SRG/KARQmCj6xKWn68GEgr/NEz1N8FWzneW3nYxpkNhrM0q2jevnqtSZT9k5O4n1nJUX90nXgtJxfg2Py9ZM+j0dgHGgaliVjXcbBu4Ml1vP8oYID3GCf5eDZgDGzjtHFmwYLg/wJbJbBR8LsSusOkdTy0CIVBS2H5sm2+wweR/l8wT3uNgoPzC2DCV6hRYrPU9Xs/h8KUCe7seIWJrR6IO4wFpo67zQjjgXuk66g1Uf8Z/4IbtE/HZ68FEXimmNLPiWrGsUkI76FU37JGeOhuTZMjfShs7qqek+BNGGCColMa+hGPWap+WTEVpOEaQPLgVAJRzKqHtNc8724TLsNJqcloELN6yKvNq0guX4SHiQ88h63NJ+Et2GHpEED6L6Udzp1S3M0c5qgT3ffx7IvqNr1RoOLr7ty7p1w3A9g4U19W++E5YgpgE8uJaadDiKEMxiUtmJU6uzZTYkCJF0HBJmm24r2BcCuPHY17iYAMFdxzdGZ12wXziREZa+aBQ+FNFzpOHwe0SW49a3SH2fzzl7EkqrRowIyYRu8NyHFi5LO6mQOENUYaqo1p5SZaV8j/s9U0M0sizrxyMEtXKV8Ug5YdsLd7vAfGkarly43272yFioHXvUNvDUA40=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1777410241

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

