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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-386

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94780

%ISIZE%
630334

%SHA256SUM%
8cd4ec44f8bb4b547fe8e7a5ce555b5c3e48814c6d680e88e436948d658e32ff

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZL9wACgkQeGxj8zDXy5LJahAAtdXNR8SEk6kpxoDT6WuIAGt47hWQC5Q3hz3Sc0TAVf07ETOh6PISJZPLL1G1uP7xylaafjvlTtWg841oNiNH4zk6P7+esn0bqCQ3sFwnYJAaHEG22MsgLmEmWqxv2wzaSPM4OA0Sux+5Dw3wRh7Np1NZ2eIZB9JE3UvuBchrisBbb+yS/L8XmcR6d5mscqVoYoOW6XXa//ySCjVCoWp1JraOf/irmd+zwcFCij/5ZDut62cGxrMJjo/MDh6HFcnwmt3QMvIOCsYU8Ds+CFhNqvc7XgqBSA3p6M4a0w5QSLlcB//uBfLTbuIAdXdNU2Y7uk9V8eNqoQgO0hs6edLt5HO/p2+zInIyjYmVTuGhdA4+3Ql26T+bM+qGvE+5VaAWMg55rnpVgdOGmtDhML0uqMKnIESOMYcqU0tACVocTi7Sa21S5+NCXdU4u1ItxXTNZRRXipv/CfEOVRzIRqBDRR0xLqHrP+gU2KwJMsmTpgc/ZIVuhc1NaNfyWQ5GQ1UF8mP6aPf0YcbMUIZkUfD4Yxrx7SRg0/4CU6gi0fDTdmlm688Z7a1Ck6GBn7o3U/99Pt9t5hcNz8ExVIFxqV5V7EAaeiesd/zrR6U8NCDSJyBkAOXTJSvVdRp53giB2vL6HyFnY1dEcZSkm2mzn3aDaCbRtYAiCA9qAvwz71cEq0Y=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792618422

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

