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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-335

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94585

%ISIZE%
634431

%MD5SUM%
db8336826791e5df473d91fa2715f068

%SHA256SUM%
a2a95ec3d15a501e5367ab7671949c484269038e77a7e81eaed088005ba13ee7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyGwAACgkQeGxj8zDXy5KLSRAAku7Qtv+DuICs8VLMrrP1QKRTMiylOU6pzVJxfShJ554dwYoEcVbVVElmCTH0WpHMGp565IO0NLbAqXTdI42mOm9LswNzmelTzwEExKDcnjKBvqdo8XCXM6Oy6rGdINnkzyC6c8Od8Qcl1EHUG3hTq8xMiRW8451h2P/Rs2vx9glHbN+gDaTBkPhjXRWoq45x7ZG6UuLSI3IE6wTObtrCji6RUK2F5/FILBoIzB9kmM8IlS6pxDzE8uWDeaBEBWhTQJ8tDCP3ttYjdh32frStHHmyMhSVvkjrCS8Tz3uKnKFC94WrtG0OM3xWqWESYhwUKSQ8OsF7CrCCrfoKbU+xpocdJyYqe2zDnLu+2Kk/QLJQKQUSUiwDya3SqOLT9HPc646g3tVVYsS7efJaPKDGvx8xQ2N4Gb1r9cAU0sanwn8jR7ufKmHHJB0PozNbag+l6x+TumEZViBA2xu8Hr46SSBYJ4nN0hgx4MG0PhIn+WL8SoxIEJEfV2tnkfAs98hUnKfSLO+WblXacx3z7O1sl+w9vepAmpnPSZ1XBgn/DnMdHaHTzmD4bG1qFCapzdQy8FjfotDJSr1JO1bh1MicEjNMNThhfdpafS0v/f9TEwBJLBUC5jtatXKThLunhle8fgA9M5f1G3sHcDlpto+hwT3/MfpitzdPmYGeqvINcmY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1777474286

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

