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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-384

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94557

%ISIZE%
634383

%SHA256SUM%
bc8cebaf8a8d997ca5d534c1ec11d75a2a1a19f00199bf99b1665d0de1daf959

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVRUsACgkQeGxj8zDXy5Kasw/+IomN1kd4ZIXJF8zMnT/TtYGbhohAh9/YLS4HMNmRDqyjNlx/WA4uPMunzPs7bkwBkLeHk4R8cGqPwW/Pk4CXVlPUON82HkhgdMs9AKooz+9gLXSkn1YvhyBkOy8vtqfQx/vlzxX/s3ZsO1HjyiAZ31EbRccg+px2zGVI5UenMI+90EFZmmzCr3n711nzxCBn4bPFlqStGFHxZN2zbNOxDogYOOb1nYP1q3UKGmvFvPbskmGJ50IOYGx0yd8kcJO0OsPJyA8t0iyrpFsMlPuOoOJKAUsN5eSl0pZ2+RCdHJtRybVNTn9MyUCauPFMo3Xg8SgUqi4Zzbl5wtjIYAwtYWRXVqjfh/l9e8NZz7csZt/XE2t2sIfsrvd6mp2TYpSgJsalGqGJsjHrQ6YeeXZEe4SpMp6ydhPrDN3ap/FKpakJPi/hdUF1d3cJkFzPIhW1ZAh7ypmCQ4OcuHKy9wTfkcAa9kJI4PC/MF/MqdpfFsGH0f0McEV/kiw8dIGqYKEOLTo30iHt43W1zOsWstFgC3IaYSc8AQhniQyJbv9NB9e0/kffdyT6nhxp7sM1C24bon5liOooaTT3ZzfMgqb+g0XYxu+JPrDhzELI3O0wg9baP8CRGj86zeSPxPOvLBh/+FL6Op0R75FwxGh4hESIMRjQvlSnjLGcL2hf8rCJFr8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792361783

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

