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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-361

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94634

%ISIZE%
630324

%SHA256SUM%
7e456933067b9f8202cfd8e092c45cb5da033c932f27142dccbd01e43565cbb8

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM9WkxAAyzpJ5mvTNteAJAQFJ0BCRPHkMrEGQXkD3MDa3kJCHflVC9dL5a7dKcYlB8Tbzlhhx+lSP8oGdMjrZ8O4+XsQd9cnWwkifDsoEBDsnm8RGbtiWlRB8ZIkan6yz1N61ndg4lLitQqb2EGobT31Xg+munUySZB+Sff5dMm3gWvbRoYo8D+ZLzVWL02Ueq83fLNOjgmYoClwh4MNlSZOzUcQkaFQq2SV+vlVvWFvpgUV7Tb7kW4YI0ZYsoImZbjW1VOKAXbrg7peC48dzfCQawV1vUMy0H9cATF6QC4yqut9s+bsiH8XBKQVh/VkQdeA3/n9FyHyK+c9Ssqr5Vd0Nsrj2sbVhSgbWo5hPak+Tc1usan/TtsSf0Ftgv63+uBhI2TM069Wy3Exwx7qV8CErT4XrGyeMLBDyRYqZid8dClLKG6LQsHY4bNNUTnRXmRDYGD2kh8zIpNvFq0kAVZjcesQgWWPALFiWeHeXgUqB6Ww2sVqBbRHqmDsDQMGEKrl3GZPvJY9xzSUlWxundFth+rLQcoYWLUmm+XakhriWoaIyig+a5i5YoozsLrAtVx8IhynDVr5Hopl6YMUgrFbEg60jG9vLbtWREml3xBD2VK5Mv9Pq5JLR5LJne0/ryCk4j0m+szy5GwtikCY5GWTnC3awUAB+1Y58j9rNH5dAqXZHnQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1783043725

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

