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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-371

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94790

%ISIZE%
630324

%SHA256SUM%
73e986b274de4578fc86881fa304262b6a11c1b6f1b6ba1c607f70f1f32fccf6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9EE0ACgkQeGxj8zDXy5JweBAAl4mZXsURNy/WOqrwYcMEJjAz2hWhp8UXcBCIsepDA7NYDFao0i7CPyOlRP9vFK5ranW6PeLvMgJyrJJrqQ+01AesFF3KAixd30+hM40T3LVzFyGVXml7gkg0Pslh0c8AndzOl7d6n8RYS2DM8xOgzH1gxNaZSwuAUwB6plVMaQ7Si/Z+KSHJZppbGmtcwNddhWj9ZR0jMMvw1ucrZKtHgEEqTw+LQHa6QxXPmOVPnYcvriaOoihLyvXnqyA2k2qImWKy1/uXG8J8VG7nZ8VB53ssUNtC7kMEKqFWR8kG9kWqcplAk8r7XbC3QZu6F/Ly9aNQpg/xqbIjTgwyTmImoux1XNHldxJ/M7bcwQYOag2AJ4f6RpB1CX16kYv+n9XifClig+jUrC6YZwweC9i6SkyMW4VOCH0g4W6SMyKtVpCO2cBKq4l1gDMtvmQ+X7VkNqpspolJXvLD/DBCR7cTROFiyZ6IBwxodENZLmGz9cbq8NpkwiAzDzhBd6KDfLjs8MQdCmwPwSMXkk4oNk0ZFZw/GBCTNSWgaxZZ7e6ourC+ybAC4BKDNLHDxWY0zLEc8qw5os1nznS1Isx8VAYsfikX25mZHHDra9elyMcfEtTlkmEszM8CdfWORt4U/zGNMNwR4GVk0xHjYMyKqb1SRY02cqIXjWp3foHz9yVkUTU=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1790775315

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

