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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-381

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94643

%ISIZE%
630281

%SHA256SUM%
780a95a6c6b853693df017173aa90caa7ff99bc326553fc865a9e6e983b48f8d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMFvAACgkQeGxj8zDXy5L/HA//Qi5gBYknBJXqujKhvyNIGxd9hgVmQw9Xr26f/F5tYEQ8x6+Ggn+pe8clv9TKqb51dRq2BsVjVcBOzrBjN8wp2Aig+tAz42sPxCgU1HHn/jsVYf9q23byCrumxL0qzETztTQRXkBetjtVfFqcJPU2J5/kL8kodso0TQV0ZGbMitSFC6TkVF/9zpMiNWeUMCxFA4vaEfYDmxdj+nUMkKEHVbG6R/5t5gez0GenSZm19Vamw0+TXhlcJLPboBxIzxQd/EiViPROyZWc68CILFK27n2qDFt5s+aKNTwXyaRT4OEJaqCsKxt/8fkSz6m77/jn05BPznXJq7GOQPxSEXqQ8f+zHvxuii8WD7muzGfSj9rbpUcgaHAZ6Sq5KM1uPWa23tkqRhlgYVFWraNtZc2W5+ktwbZu5OWG1Bq1RFfSp/h8cwugw0cl2mMm7AoDYOOxp0UfRNP/yKUgRpFcvDbd8dRRnRnRv+OPZ7pi7hSPjTLrqeuCSCgUoGc5eG4Zc6+n8k3BwcItAMKCdYmKp12mehVuylQQfHlsH9ZMOPq3ppqKXdx54S//WsNk/qj5gtGx9EasojJBN0c52fFDNU53sfps/oLbuRE4l9h8OV4ZauG1fVFsNrFGIhxfyHmpj0ZNwj5+SP21VBSilJ88K12UC4aZWgMm+tOs97N4gxB6ybU=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791760085

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

