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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-383

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94568

%ISIZE%
634416

%SHA256SUM%
8cb8b86efac43abed8bef5609e74c87bef8b3559b6f0633667e232ce874ed7c4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTX30ACgkQeGxj8zDXy5LAgA//etw08xqBPFcE30OCs7hPa9q5SLIT9lYWmFfm3oQiL++aKqsL8oxfPjqzIoZoGEGXSf65uhyJu+naOBj2zLRFiWxTpgOt4ZvCkwMXqSJ85FzH9jX+W8r2Tp1jl6aiwdxRGVmXgEAsdVRN1SoQAIcq5WWvfCqzKJcKL0zbUv/o9PG0flLMUQ37uPxxCaHosSLjDP1pDG1QQyC+v3/fujySB5oYWm60KAwDKZ0VvAl6ufDjXdtL9tGq4kJkw7GGZwzlEHKMqxh4yWRChM2pciY83CYACeuFD+q8p7j59C9DxjRJAmzbbDT5bcBZ7imWUBzOO1nP4yT+J7Pe4h3jqlXadCSKrLsin+tDN1+Mdd9dFaiY4rTBY4fvcoL4gKA7/+tvAxFqzTzT8cizRm/5iuaEJj6/cVMSrvOeXNGCCAXJHtTRlpukdtKnN7bYygf1rPLjJi6tA+PKN+zMmHL/HBYkZwWVt6nFe91ff9tmEHZs89mJZlYK3LXB3cqgZhX/7VUIvdR3A0W7rMrkZYM0Yg7hhUpd3AuF05VgG4mqmUM6nMGQkWHrLhdFGueQHcxCh0Fb4tbCEnTOnZqNJdCE2pnsItMmyq5pFAQgHi4JJhvc5LWS0mDCskhFNnzLObQ/SRFpL5APwDNQkKb7VEUKvOS9cnloExCNpSDDib3fhyChDdQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792237410

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

