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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-353

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94531

%ISIZE%
630314

%SHA256SUM%
e1ecaf3c329bf2a65e0e121811de88e071c9e51e695491e055999b01ad478ee8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6sW8ACgkQeGxj8zDXy5K3gBAAg4ZBWechdJcZkC+ACpbFrIBPKsLKj6JPsl1XZbkGm7A2gF4OjuEDJ5ssQ4+mceqXF80dGoQyJIYhIHoTA5Cq4nVCDGa2Xb9zClWuo/V/C0DRFR13olwz6Vid1TXUUdzmokCXa8lGGqVdDsHwis+XcPyG2qWAA3V1pWu+MU/s4EdDewy/447l+s92HwkS7THuNS/f4ypdCBRhvhzou7LoR9EKMdvhMpyDTfcuPOnEZvAVc1wtFBiriyGa/jBWP+NNTsBiX/xYn/sw2/Ohk9g7Y+NgSoPanvtxfSgwvgM5B1iffOA4mbC+RplCaYcbVQ25nZaAesugd3xpaxfXx9Qm63J67Qjqdiu5K4ylWp6p5tCMW8zpbKJZSR4FoGnt3WIexwqdplSnF4d9qsXaRuyez66PUCFoqBIZO2VnxP9mythJs6i/UlVDQzo+28ZrdesKdggUrULDBJUpqwbqYskUHFAPD7zvWVhEkp77AWYjdf6sZRTJW9J9N9ye3PlPEkMwjpZAQMVux8jFnXbue3VCMGwJG3lPhq4JdOaxrhaGlvACiarOWNu3lwKfFc6imYOI/21QIYWd/NgEAT3ReM76msMDXKryJrTwjs8fydqm3NR1yjm3Y91q0zmvPY8EN/Vr+EyulQOhkyHvLBpzeRKvTtltYkQ31I5ri6JOLF/rXkA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782231381

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

