%FILENAME%
haskell-refinery-0.4.0.0-343-loong64.pkg.tar.zst

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-343

%DESC%
Toolkit for building proof automation systems

%CSIZE%
121623

%ISIZE%
862202

%SHA256SUM%
15a3de7429f0e6adf2bc13b9b4558e659a05b780939cbb6bd0533c82d67e2982

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaiXsJgAKCRBcdK4XC9oUM/0lAP9rCBsQ2Y4a1cuSTdl/+TmwFldySzyi/k49GHml/0w+9wEA5Z4w1XjLiesCTwyFe2GJu0EcHeCnmf9dgHHTzUoc1gU=

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

%LICENSE%
BSD

%ARCH%
loong64

%BUILDDATE%
1780870142

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
ghc-libs
haskell-mmorph

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

