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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-240

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93641

%ISIZE%
621493

%SHA256SUM%
1c757bdb2b94372fe9a75c15a8ea215e826d79a9cf2e3e61107cda9afc4d6425

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkWYACgkQrx0hme8KPM8TUA//SNboVTLabJfxNkhMbRcHi3pEj8u0xXM8uv4/ZmBMbqmETObnR8Rv5xckL1p0pNU9JHVqNAsxiBsUO74q5rFBgFVsLKi7FZERkzZ5A/t8iJHXJ0w46QXVqMJ3TRc7opaJLfb1ESsI9KqfwjMUxI5urYyq0I3AndKHI/LUiwBNXze0G+O2lOcvkO4Nj+UcwxPdscXCGfTHxQOzqhvml5Kr9pzWY/a6MuK9O2NuI54RoGYOpSIqcq7rE0aKOMbLI0cXaCQGcIBVg+HT0hl0XbdMv9GfY4rJAzi07hfgosZzND81IwnXFag0krLQ/cbhWguFITMp7HF0dn+EIQx846JRY8cM4Xwtk0BUcFKiE7hz7MtTRFOmXUU5qMEwYI3hbrdF1I0Mzaw+ZfgxQltoiT2ADkOtzrFVVkxkPD9TisHwJp8vyZQCIfUb1ljEGk0MmKx89FSfyXDTty67qLbrFBiFbuURKWdMBoGeg/CTPE7cD/s3t4J/X1HEIczhxQ3YtiHjUjkQx+mQhp1AIb90PrbyWWwrCYIlHzprd5kgye66Ap/R2XV3clNLhoqjcX5IqwAEGoRSvf5uv9Ymod3kV/Fq1U5uwvSRFDfwgGaA0gwiiiiEr1bCy3CswD+7zi1Gd+l5u72JCYMNAQo+YB5FCVvxH8QFW4G3RzFhR6I5ReP1F4Q=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753721439

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

