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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-359

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94467

%ISIZE%
630293

%SHA256SUM%
f107dc586e1758894e98fcf167a037d1a3ed1a49593b2765a37036ad99855080

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/HXwACgkQeGxj8zDXy5LY2BAAusHG0O+u0EAFdTmVgYB082k0mt5Qq+XGPTbNhUZKdP3VNjFT1RtbCDixFg71/QVtAskFLYnZ1Vnby2VM00QRJ2G/cXEgm8qXoswxiGPQWc6lk/UYGJFJxORkhRFujZp/BjWoD2spo8AzA/xrHzefDBwlMaWi+Y4noDTAay82k7z9b39b3OgfrU0NBl2xy+CFRHJblueCksfXCbSgppdpdyCHNdP6jv3PDMHpX+tx1t+m19ynmIz3z5gKVBciAFayqmTrfpMQdA7U7UUrYethdlLMqD3LWecZCr4EOguzM1wSy6TxwttM7P29HbqOWVTUs84iyqm6VCP2xvB+5VElYTArGO40zYyhRFYpF3ODO+lB49OVPSE8Ecz8BD8NF90VXEwMdeMWaairmJdItrhD23x0eUXQELCmnZiKbAhojHv+xubG/st0ExTvk+WzUqIYMgeVzjF25VSFFqpb6TxQvKi7ZXSsduGNLg0o6SGOi46m39F0Q3OaLobk1Fi/DX2gdYts6PK98tbdx9jQcr7PJjdVaGWyJJGyyUImopLdE4PA2CcP9hvAO8NU+1evdudUCCQM7mwiSAs3B1cd/4f+vxaEsj+l13ItQGsvJUIGP9Zcnuxg7VWleKZBtdx2tJL5bMmrLliVLnY9+q0uva2dSoeRlC/pejKRIsCzfuMTbXc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782521198

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

