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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-340

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94551

%ISIZE%
630300

%MD5SUM%
4117367cc0c2355db6a66e3c34a90bba

%SHA256SUM%
66131a63c939e792b7212910d4fb27dc3ede8e9d864699c47460b97585bb3086

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGq5sACgkQeGxj8zDXy5IK3BAAiQ0mW1CGsHrpEy3ePIshetnOr2ZPYjNjMB7dcGc87QwRDnGokvVP0ScRNFJMkZ7APJ9rIOfdeu/BjRCCm4Oynk51YtDQG7FNxz2Rp6uoqu+q6AlYwa+zzAcoTP/XrevTyGE+jby/PasXxx/y1NEZaSiEpNLiwywVnuyqSVdBkS8Y4LvO/uo2Qv/4VwwsBeIrfj2Q5UL5yGa1a0lEUIZZOOWYJAPzYtrxjsr0VXFrmvExI210Fk0/nkK/PYY9CN4oJ+LPzKdxCNbvb3IGP5ic91FCFZ+v2XfZOpxc6cg1IhxAezbNE5cdQFDOIw9gAnHKElmcdEgNHi5oShbMUrptewq0Xzz5aWqfV9fHz5QmMREZOv/806Y0CUsCK9i27rt9a1VKTkjh7wWr4RLO24vZPqUkWLQCIX0fA9pmRtMLpCrARVYXv/nAtwYYae3MIPjk8W4qCGhbccCMkT9beMjHrdIO+hr8WVTrAk/9bpn5Y39d4ku7oR6ZH5tLk+dFM18Mbu/AYSxdKBejjr/4UYAClKxOgC+jjs7BlVulOqlXRxXPZBtALSQWUYcbbnY1X8sW3mC0UuJ9prlCe7sbCvG3GfUAPOSTrWdBhjhM38BIgJmRosJXzdOVS4wr2BHel9bQ1PLdU8oUEZbMqLlRjs8Ph7cl23OO/yVkaE8eYL0uwvw=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778822001

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

