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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-41

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110462

%ISIZE%
760999

%MD5SUM%
be50420cbda97835e813b69854157c01

%SHA256SUM%
b8816f8fc4fcd027850143eb646ff0872b265917c7eba9cf1a8d000d9407fbf0

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHvqEsACgkQeGxj8zDXy5LTwg/9Fdi1i0KPWHkYLe7Q5EEYUXqbYmW+ZH+4L4nwt8+fMTtVcY16veQpzny+uuq3cIVEFaWijQhNSWh0SNUDYRo9VdS/AxeEQ6k5Lqfwf3BcLE2/XZ9spSwx19A1CzxxcSmZ0quBPgdPHvQhznVQLklP4Ggt6fqjowmDcyeHWB7EOZ3+ubdVagZp0ia7gwgqkl0R69Mqw3yWPfLgEv4q6d4cEqwoNk9IukzZxN81NRoAp0jlB/QSiLERzmor+AU+Lt5OGzD/UqFAO8yQfl3Iui3EvfHtLQQL8+0no4aNxwYGIG18AXoQ8Ywy/PWfHQeBVNR6d91YjNw0E8KUkFcYh+ipgv99HqJZH61rcor6q3A+6Wqpvb8bA9BDF1KFaUBh1Fl357Lnpa2UFPvVawPmgNuDPJd1iXs30oAAF0kZhIxOq4nMTzK5X+/5CH1SCkvcP+Qz7WliUMHI8JmdTrm+9tUbvU08i70dUEK+WSnGFb712WHt2LJDy4mA5TZ68W9sXLj9AT60yc6czsxnSOAC+X4rVHWby+8nz5XLbJmfRrypTs3r2i2115v39CMWy2mzG91JiXTNjI1CHAL6Ps1ZV15Y0we94pQBl0Kl3JhnRllhUeq20wUKfjZSAP/hs2x2IajP4NWKesYARjvvbUZMx1HZ9b9x0qULZf+aC3Jqo+Ytges=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1643096116

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

