%FILENAME%
haskell-refinery-0.3.0.0-72.0-i686.pkg.tar.zst

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.3.0.0-72.0

%DESC%
Toolkit for building proof automation systems

%CSIZE%
73092

%ISIZE%
474368

%MD5SUM%
f5c035ab4a6625b7dcbec3242ca148cd

%SHA256SUM%
ba9f31def6fb68e5ee83947af8829b50747fed4534352666a487d4f3e2f45edc

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmC6bbsACgkQyOj1oK+bp+cXAQf+MlRArALfSh7UExDlfNcTtYTbaDZQ+9jQbww+nZQEOwRfAfJLlwj941iUXUamwN3lNIIqeDAtqo3KWzKWhp8ozTQALQ/tGwPvAcQmr5Mnrs2tZajC5hbxmImDXkOzCeuo+so7EpGF2TAo3XAZaoc1/ZelcMRTNEFFAvQT2HwB2ZFEAGi9t89Z1cCRj6fu1CQdEMCEs5yNOKXHjQRUKlx429Tj8VswklZDCc+bBQiI7eSqPuKxORpYelClJHLuGv6YhNvyXJxrAk05wA/biH+vHggl9qUFWFcL6ijmHx05/xAdd//dbTHCSHjVHCrhWM0yh7lVlL4HAGLP0rPJYB/b7w==

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

%LICENSE%
BSD

%ARCH%
i686

%BUILDDATE%
1622830496

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs
haskell-logict
haskell-mmorph

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

