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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-136

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110140

%ISIZE%
761115

%MD5SUM%
f27765eabb82c3e6a4443c224f8b03c4

%SHA256SUM%
768f0f47112b62a88357b16fd0b5363ada7e5fa92e99c678fc6fc3ffb91654e2

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmR8zuQACgkQeGxj8zDXy5Kf3A/9FOX4ZcIQPCql+uYwDJW+/HQHacOQ9YGTV78XAZ1IW8fT63WMy0F39gbmNHIAI9igFPlkFjZYe9YBGHhCmiG37cSMbMdWKihAfbdrsZZckE5MtkhjZZfhbiH/6yKn6xOEOthc5VyvXuMGhuGJXdhFSUPAv3yg9Ummr7CA+r2AyKTBaZRA0ezQfC09Xh12yISahS0JuXDrUyIF+X96L0MouZ3AW37Cu5uR1h/BJTzOLKtzG4otUck25RkjXWWUnz96650L5XUH7z5ozppwWVlrd/xSDsB+HUubZmc23VGOo5bnK09tLcRUf3OpvyB7VSg+d7ql7yh8bj9G1lk7/8R12oc9rHJWm40TvtAyU1T1bYQATIOaQoxjprhapCPoCmNztBkW3XPMqDoljypMPOY4c9UUSpgGTZPZ2qUWTi/RrZQY54GpygeOBGEnf2nJLbZGlnpDMNb3avBa8w20BrecG8RcmNPkXHxlip4cmWo1vyFRf9tcJ870yIHiqjcY/yg6QkHJURnTwqNP7U5Mjwr1JeHjqw5GYsOWIlg5YllJu+o3y2o/14aD7bUrsSlMKILPJmnGU7vulih42NTWMKscc4kdVkbgMjyKjIETqFPg3re9uuRe7XRPjujWBtEYm4uFjEAGxydkhRCesDWmi/2nX88vbCnK3jTc2l9V9Dy9EqY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1685900962

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

