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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-58

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110384

%ISIZE%
760942

%MD5SUM%
97da5c72aa7a9e0b9bc51433f6968106

%SHA256SUM%
c3f6cf6f2d4c8cb63eaaf0a2f74d332a56c3ce9f6d9face90c3931135e6965ca

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNCkUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbSZw/9HgRVfV6BlTEFb/5zLgb3VA2j6eadDoV8LwxLCwc2Md6cE8mw7aDuAhz+iaE0nBj+2GsmHawv7ZlGau70BvfJNo0td2R76+PyQBvEbrLJyExIHxzdDGLS+NLBt0p4tSBKFkt6byN2F0CJNLbmwYPDzMAMu95FlMZtwI3Y0StGVZLSPiJb68RG3h1LGy6ssEOcBmmBMZKyADo7tYF3zcVgaS5xjoAJsrcxzvgymkEkO17sZ82qCqF6eC3bxv5pIT3ZU8qhA1z3X88FmBiV9neCCdK/lv6MyvmT5bMGMgQGaItFk16MhKnrwMUVF+AeTYNJnrUjYelEc8mQppDwjbRA81TiVa4IjP0ralybuYE/PUTVe7XrlQwxTNMQYmq7ltqs613R+v5MJKGhdbkpxjqLV6XS8c/vNp+X8IY1/Cfx/jwVmprYdDIOh2ShpRrOHBfOsy6/VVwmICk8sysXaDygXmgDrT1/IjrgK7d5kjUWvTabFsAIsjCebhr/jEmkf8D1ixiPxxQOjlhs4x4wPaw0+LEI5ZXgTOk5eeZxg36utaOQVbGLNcu2lllGALxbD6+8O6QHsKpY/Hjxu3OJstC+KE2vgMOkF594hHwFItN8UA7A3bjR8VZqZ9lD4l+8y4cqYCQtix+Hn7rnPlW6tLA2OFWoitJSyszC+gKqVwgXVrA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1648789149

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

