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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-310

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94743

%ISIZE%
634432

%SHA256SUM%
19d48de6e4cf2979f03adf8898e75df59efb7bccd860bf0a548294ba582d8f6a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjut64ACgkQeGxj8zDXy5KOzxAAvPHq/VW2ra9j79W71UNvb/teRCPg3iFWQtKz2NQxS9mDrbVlfotjAbta6AXxXfapIIT/6XuB0hihfaqgZY9Uz4bOJH7+Ll8LG7puI2xYia1r9JzkbCyrEdNw6xL6+IXGemDy1nzfNAa6uRxgzxG8LvbVmEhswEVoqWgKmPTHIj3XjJSJEiyRifJXi0WGrJ8s5MyNlNt3N4Bia9/bRVaSaUE2p2Pbu33kRmsViqF3X1nsiJX916lp0QEoDtsBsaR3DQ3/7c0Sv+FHpLm2IuTN3AQX/5h4ZBwE1FBb1skAIbrw8YPe1rar85V2fx+W/7MWv/40H1jgLjAgGVE0R+amS7DqfFz+i4U4EzX8IQMLTjbvgD4H9cs1GbHKfePMzphtfW/grio45GzNi9fgcE757I4hLDaTSFWcU4hV1FWr6WB7bPiFaXd9wvR2hFl+qlM1iLHyqPDu7a09wDU8/J5KDLuyhE+9kEMjJW5L+vDIIQfGyWpUtsE7OmxFF1r4FkH7MoToQy0K+8ojjZ6NoeWMjRYFA1DHcnkcogGgnaW/aXVTsgcnZ/MYBKi1Jp7JAfMhSKsz+f+QelA4cpdAyr0M0hSs+gY7F2ZTuXWrcz6Dmn4T+SrozG4fM1B3UYmYlGz+X6jWo88FYjbtNenDnGKHF3crNdkPSwulJkNguXdhaOE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760475026

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

