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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-349

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94535

%ISIZE%
634414

%SHA256SUM%
171449854c91cef014f3a3d4cac331ea327b4e43ac9099557347f8cabaedb02f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2MLYACgkQeGxj8zDXy5JfQRAAhWa1gaTIcVBxxPKDWrz/DZp1WY769cdKNicr60tCfGisvGswyz9bVQSQSh03M1K2ZTtQHx/LSHXyfOqZnYUnk54XlzSGQcmCv1Vw+9G/nONVBgVNi5x9xbCqL3ZZQOd+RO8RxhP5K5a3+D5HD6Z23KlmW/pfRpMQYqlNNK1wbcWIlg6YYUeBhIwPLuVL1XzPO66E0QBN/Af2BZ28hbz09XVod5y+exE9WaTqN/ojz02rwRt+X4+3fhkRZzYzLefDLFdJ9FJWR1IMlNuBtoUlUas8HBnszT1q5KodTAM+kvVqV0f/ACvRb8uL5FKIY/GQblmmu8atOLbU/zbRVOUeG7KO/325/34KBNfrgYd7OBiYFtIVUb8hMJAZXKW9vbhgb1GoEV5A6VeZHBXAcVHHBa0sWybN0t3bu+6x83p/0KEqKrCjmfFpCs5ewiDJglfLbOH8IPopMsDyrX9uKqfLJnaGFYmmxCbRBzDmXHCAXLiRN4t2ZCTiZ1EJTDKWj5hN4q8y7UY71tPDMDAUxmKvpbrn5IrG11pkZgn5xSkLGxPq3DoZUaLewNWc8vRpnqbgWYcgw335/4ZTCZBRe2w5HIcvBgbWx7KyAAe4jFLVc+rudKkDIzsk2LX0VYK+F/3by49BdZotOZpM4b1kroN7n+HFhLVFF3whuWxwAboFWgY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781936294

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

