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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-352

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94670

%ISIZE%
634418

%SHA256SUM%
8f671a8e34390bc8a421d96672b4d4cc21f53e05d44e79c15e0616968dd06734

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo49ckACgkQeGxj8zDXy5Iz4RAAl/a6Q3bKPJP8f+v+mZmOIzG8a0N9PLD6p1m6iTXhLJgtgI/W9XvPQAE7KLQAqsQuV789JHas+MhK0/ik7H2q880qcl2BggQ2d1FbVROVbA9A5rdLOO2ZiC7cJhSppFWfadV/Fio5Etu8QVOpeExwrTINmncWfAN6ASmfhZlUpv5VwlAN5rdFAoGNhAiGExNnOlOyyAGcG9IBVwGFKwMUckSyi5QBKIthuRRVzyz3IKXwrKcLQICGet6CEXjwp6jiaxRSISPm+W6lmEtm5nSwkOg8P0A3+1Fk6p399uOl/Z0kSI11hyH1AtE5qRVRCujOTG/3LY6PidpyCMHWdee0pgEEdUpXUHsekjbYNrSuVSNRhcrY7dBsf7w4iXqfqMbdTthwG8eKSBYvLLxD2Ee36L0oUriySS5iP6yS76qbjDrBg82zgL01YTgJI8bnwoiYxb8WSAm9xa6m13RJyLkfj/9HcmlUeQknoi4U74QBJgjnrnm7gkedQfYHemiVNmEi+xNLWHNeK/DupEePfu+I8RHCFsGZ+dpq08nteI9yBNLh8j+11EF89Lj7rbg9FWUccuz07NVWRYTMxPpoMV9oVTLl/gg0/PU2p8QKy4gS4fopc7jyWzZzv4CHbbj/xgebps75sAG+VhjVDQgF56MY/mnw+Yyck/DmWL79cnVUy00=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782117820

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

