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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-379

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94698

%ISIZE%
630305

%SHA256SUM%
976c9941fc0d4f37e45104984ab4d9cc54ab2728af7624eef1b189e161d946b5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF7JoACgkQeGxj8zDXy5KejRAAlh0SVNIVryBFHxdLJtQiBJDWZEocHSMFRogQoB7h2Z4dkEe9n8zhbcL+LXYYCGYwJe3Ca0ADcRkqa+Bz7pAKcoFaMUwPF+Rggf8VQFvYrpfb23luo6cXgwspC5nd5lfNFtPLQcoI264gwKdS+4DKQlhlK65DURTX1ukigNSew7iH/4+Ql+6LIInW7mYx+HbboCUcaWan4MYqPxsyoEwqfRtxeScpbUAyQiFjSrDLACzHsFyBRsbnJ6fhHW3QheI+xA5HvdMJPo1p4eqDvaGnCbgIB+gj7n0UEcaZt45+t6esGuEJEBxIB6pAJkp1ibJnHN/B3Lb3uRu7kYT4D4Ro+DqaJNd/4IQ609Ymkd3OUycktRg6y2By+Rq5OulvRLc+Z840iBYOyNynUsGSjJ5DozCQ88NWwpHnNmA6kLjHUYddzquU41fS9GFQyH6INzCfU3lFd8wDdyJTgWxuiI28wb5hB2UA1g8uBrRYC5e8MSDx0aaAsBkxc+Nbz0a1v7igwL+OrvwZKAy7CZ8plcQTkWkUULZ52iDeRFgqwxBSjZNYi0mAP5u5hbfVrwG3wghLR/Mm3kLwzY3pxHHTvKh5WciaMEBm2EC5nPcAgC6biYA5WwBF8P9zXOVj9EsqJw1Hsp3jHyy955CscoTgdAM8jFoCyD2V/fI3MTneb5jBr7E=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791356038

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

