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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-332

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94588

%ISIZE%
634389

%SHA256SUM%
0be96b622bb78fca86a29fb83ca42925aaa46a2dc65d3e350c9ca6611c2b49dc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnnsDAACgkQeGxj8zDXy5ILkA/+MOLoMALsTObCiWEUR0SRoLG9FFVLuBEFgROHtPsOMfoKBIpsxVmPmHppCzYmwY3mjevr/ymlw1Fn9SL3o5/6YqeK3xDthwE1jMCgnGCUTG34TPwdRg26jWiL4pIF7rVqISbx+6k3v2IxqKVNFnCOkWwAZrD7rW1Q+guaoqHTy9k4xl3nTCi1KmW+/80vYURVePyavtwGdSrc+57KSTPLv+QLgDy5wOJSeo3AhPGwpM8+HQUzciy4jhwOJgH2MvgOir28wxjG4RjIFnS8cJH9FQYKrXJqX4JHWYFhhWoC7iUrlYtAohnXOx/G+g6DVrsa8XOQBrPjq08BNfHHAaRdQGru96FyG16i4veSQIme3/OIj4RXHeXDwcgodc0UpDESv1QmbvJjp7V+8+WaJ8aRBaEEPEKAwIjX83eN59YEzwFHsbPuLR6wruGudaHbMML2dNdxoDdlDoisrbDKO4687++7NAYmncmcwkoye+QXszsw0mPWe33EQr39OyLVPwyNg9ztuDYjQswVaCIlEbTfdYnFCjgnP5nopo40aLcp9JDaSrHvvWsqf1n+9p8ItBvveCNaDYxIC3v8IPTsn1I989gnKZo1/q/EBs144Rokv3heH7vorlKUK0cybd/S1oz3Z3+ZyskOzIhbk6hGEv00QoXb/GB6vnAH3KNvd4GVLCk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1776791586

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

