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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-385

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94528

%ISIZE%
630303

%SHA256SUM%
b28d50bdb2b420292402d4a7ae5d5674535e7d78912c60b8d3f43409c5f8de8f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYG1oACgkQeGxj8zDXy5KUhw/+Ju4ndG8sL2JQLYSNBItrthVOAsDVFE86/BqzZHP77sta1Z+2Cih7jmdmAvemekOceFV00zi3Rf1xz6Mzrayl5VXoe8lcWcujUV40Ud3s/jVUljAlRfXVj9LFqoMLFNmzv4qjbqwTjymRA69xQW+tfBglGYtNvJj2yvT2CAoU+G/d8JmFX5M+t9Hp/oogtCEcNv2rsBlKGf7qtSlctFREqN/f6yoe7dDsSKiQ4V6R0SzNFH56EUdYNXNaTnMLEuMd1bJlzyF/o+D39hX29n3j2HPgsyFI4LQnUseLqg/ZExpHDIQaQGZbfKSiXWTNwgv6SLRWY2cVCo/EPz7jZtMstRhyepFYLx9Hjm0kvg8BMzfZ1Uzqhbo5xyWywGF9brqJ9gds52sdARaRPtXlxzDxswP4fKUiEorl3GWXQ8ZG0+2dPJY6lLPGc3RXk3HEZ7NdUdPEgmwkBWfbIy0X+esEQPyx424xxHEbV09oXviji3fTavklR0u5fZYJhzQtfWvb490Ilji2J+bbJl46npdmqnh6uLyjH2xnqiA75FNgN7IPKc4PMaO7483IZXIvWEyPRvfies6UbofGRbCbI0W078M9au/6DGXnKKXeJP+YhBHN8foieSThWcR1gnEq7sX1u5TiT89fpZsSIA28eFiSWFb0Se2xejCrow9O14At+QI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792547638

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

