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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-348

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94509

%ISIZE%
634421

%SHA256SUM%
1ed724f2600d13c8981e3427bb7a82c885706ffe2c5183bd89eb714bddbec668

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1g3wACgkQeGxj8zDXy5K1TRAAtnjbBEVbPUfMzs+C3jj33656F3ipYS1yAxpna6Cqr74QyrbyyuUCFKhIHc0wmr2mrlUzhiUZDBJ2VaFPwZcpZxO45U+aywf+mcRrfRht1/v8i0IgYp67VlVdBrW3vmJhSMTvGSwV2yKEIlVsfQCpEZwxfFuOJpSBcQYxKTNcsj62GjK/6PaQ7fVZcp/yesP6Jo5RO+KZopiclT+zjTmP6CaRchhhSvpGyMf+FEVfP7D0sByy9Rm54oH4uOJT2x7EeZzRAtgBGO7wDEkIfb+kvxzpgmHDg/+vESGDu3OirmjEqT0HoFic318PYmnqsNi1EfQ9/eE/+zkT9Woh8/i8zlJtnEZYfbXNDdPoxJk7NzkH/Awy83XA1rlLeG6roewmuCsq5XJnhy7JvvIeUl0f0XFQ4WIrsRtg+NIojGOVRYzQjVroTqWIFjG1s+Ig9p+EAeGUyvkUZ3ouiUlu2AMppBHWZepW/HZPBAJXfvmrwZaM5wQN73Erd1uWLb6Fw3zmNmQqKibhSAXX5Ldt8iv17lUbTrSbSqocHcPH7Ptyp2zQB+VqPr4Y82ph47xqPsVgS21QFvk0CHcofGDfufXk3D0ErZL3dJZ4cfaZOk7k16OhUQom6mfCfJwIYd2VMMaLLWX0XXLh6dBJS5nmx0JTqgd5Td1VNzbbIvZMtS/SOF8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781891947

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

