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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-378

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94722

%ISIZE%
634419

%SHA256SUM%
5c290f9d3bb7540fb33ce0f9317a05e6129baa3e7158a298d8cb6e4f126ecd66

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEDJ8ACgkQeGxj8zDXy5KhIxAArnuY4TasyG63SXCz5qtN8RUOBEvUi6QA7NSgsZ4VZTXVmAmquit9uUGomi3Rkjntjt/eXap7kn8A0LRqm7cPcxSRLmEqbgnooC0/LRU/yTOy6IDR+XPeQ9fT+/5Z6xvKGUoJgtZJyAYW/SgGkRv4VWySfCATsFAP6qxx56adcOwqQAupdGo0cq37jcYhiIA2OIF0t/Tg1/ILf32v3XyRXM5XlKzhmbztGcpQqRlOSg/98L5J2WjZqA1X/sBOUVmBY5HT5Cp0bUgJK3dGXi0P4BgtGreERJXPmC6c5Vc/p+hiPxk45Mtvm4tUT3v9sxW6352godNKy9qQRjjsdaSwfcV6MOaeHWb6Ca7pA03YZmkR9WVtxap21DjKiZySGb+oji3bpG3mOSXiRMlzwL3qIrcdewLzsZ2ofcqN9tHdc8njwMUeqnBgAH3s9ulo+RyowC3FVs3/Q4/z9gPm8Z6xfH3vzbBsBFINJ/rclEr1hHvLlx5USFwb6T7xgkOaJZAY/5X+CQIDYA8oS9C34zbAQ16IigEGSbCRjkKzRBc048++YJig4itfNdzUBXXsm5W/fDMI9Ne+uzHFdzH3eGK5126NmmSWlzTG1/rxi++xgkBT2ACHqkz94kwGdIf9glpL4xHWuGj75wu+2xTrPILQybhSRZR5YVcu92ylDMPZ2L4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791233151

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

