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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-357

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94457

%ISIZE%
634384

%SHA256SUM%
5a18becd0663100ce40078bbf0cf2caf7c234e29d9c309b378739b97cd40e66b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo87PUACgkQeGxj8zDXy5JkCxAAjc49jBYNyrKzFhuLEN7nNqyxTrg2arVwC6rGltMlp2OLEISqUliIF7Hl+xY3ehGfPb74awm/+gaxYNilfmrItX7u0DBfYri7I9/qN1UnG/3jqI9aDdJZ85jAo+mmurL0lUxJQ5kkfvbwCZlv8lP4SN5XRC/khgotSv2dTxXlDNad9vgKjuqpQkcvi8PGfuUr4otlU/vOeE9RFFRMsWnK/0bLfMT2ZVGw4JHwmY3I18+W1DskdAdLiM5bOXjsswDpriLq6r2zpOU/JWCmvl96mUgmiEAg30PtlTiGgJNksmyxLPIKEHNmni1uwHPS1ovxfzljKhuF1c2TBA7JR1lh8+cXORl8UzfeO0Ue0oOq+iOSmn7HOeCtBlF9wZB1BqZ0dT2y3bsMOu4JJdMWaucv18sOcEizbd7Nknb//GpjrPyVHnYcXx5VBb/bUmrpYNjPacCgjIPSHcINIr+R9msfL29lNPLIVCMCohXIdkQJczGXvaH80bnqrpwFPxm8g1rJ4QUYwQPIichlrekrXCxqJuzj2MnapddY9olRT1WFujQ4jnzDPHNhlzzRnEpxs/SiJ6j0VZGnceLLKtggsj5RkVM6GvEmoTLl8B3mvy/RA3H0Xu+pYfCMLAowQG5u5guDpQs3wL3w5Imtwn73o2q7VIaVd551dCRu1iLYs7qGcp4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782377654

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

