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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-201

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93322

%ISIZE%
631993

%MD5SUM%
02dac98d88dc92725cfe54b1997858b3

%SHA256SUM%
a6311f572f50e53ee4e81a034081cd7e7d704f152da7b010860f39bf5108c7be

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfXIrkACgkQeGxj8zDXy5JStRAArehOpWu9ToHrEq0aeTTmtz03naZ1kvl0NHzS/aT6nVc0Yhr7qWKiFdOANr7B8RwuiD8CFv1i8ZkG8ABdMm2HoPQ8Y7FZK4sZjmNu5keOYCsAxX8f7r++yJJt3UeAXnsTOkpnBB3ElrCFjgaHKJv6xqzCEmHLCB3Ci38X9e30fbVy0qnPdHS3ltmJZD8QNEITzHzX2rzPh6l/jTwX/9VLe5wAMUvXbqqSkShNpFlsuTAhiY0c2bjhc6cG22i0hFTyw2sSXEXqGv5fAvYvulYxy5Rf1IbYmq1LgWsIdWqvr3hkfrxORtK2a/oZ+i7qTu7JPNfY3mwxdc6Hm7Rpl7HNEiWK450dNVmMW+4HpNZy+p8wXB8ykuY86rPjIlPpBFLY4cB960G/2cZZ7IRdZh8yfo2yVZHxK5HYRT/o0kxg0WlUB0/LFVXgIpaAx3mlpv1AtvNkULuuoTi95hh/7a145Dgzfdne3P3wMEVEXIUuU9QCYjynehEjXMah3GAts6foB8lp+Xoky58AhuK2X0c72jpYqFUpy4OjiseFTjVZYKvFmbWHvGFJe/Za2wYM8UxBpP7K1c0vMVnAGReMqCSbWy1i6zekIXMYrFDPX1t4Mh5nNzLT3kRCdUxaVR6kyfu2Ao5AUSJzbPDuTYU0TR22wJWazVCNfiIaDoPHq4h3gWM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1742152349

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

