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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-360

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94504

%ISIZE%
634399

%SHA256SUM%
0810aea4122dfb8b2a69da383467b20aac4e406475db7fe2d577aac5b10a114d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/83cACgkQeGxj8zDXy5IoGw//UtBiJgo71o7P8yC2JnL5hjt4t54MbSgbVT3QwNwuq/FUMWDHyzHxzXkTkhnNu2Q29lwAr60jFRtAWkWO5XKe8j5HAJoGgapDnV1RbffsRLKA1tlQS3z68iV88/mKHChl0gqAOpkTiLQzPurPjQJkVIt4eImlancH6+Okc7rw74i/GwJiOBx5z45A4AtOBPZlop3Y+W4yfJwWqr57LR6fGHzwWbVFw4ZU7A/7Gp/Gv7j6M03nWPH4k8O8Cy4uxlBhl85KmjiqctzAVEXfoLBJU2T9EkyDDFNIlPThBzwIi4PC7BA2mMPVS7IrEK4b3jItYZD4szDN8Yk9s8jbn6MGkgujwFzd4oDV1QA+hmbOImLUyjk3qJuVqB9hEXo+sB1Ke8TeLQI0nZ16AU/z90jHAh9MDJFrNDgbHKQfiJM3FxkXaU+JHtYnZDAVqwd8ZXmd1D+/eb0rheKMw3zs+U0vtVrf70iwO0JgfG3e/2wd4DlCZW/rLyLEP8TGVHxOaNn3G8EIAi16+oGAtm0EKiNZ0y3YV9nJUj+c8W+7RVrot6A/frHgzhelKM8C38qkIo0nHd02aH//W4lmQnQkixeBscYRfpRJAjHMOTU7IQ4CB2+8j5K+GaWrezq1aXrw/nFT5pHWXXht6hzlLo5JTx9pfFDV65L2wtYk3M9PO8Ro6Oc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782575977

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

