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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-313

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94703

%ISIZE%
634400

%MD5SUM%
fa2f205726d2252da396af97215d1f62

%SHA256SUM%
b806d00b2519edaf33490507577ca548c4e1d44d36044a539c6795a3847e4001

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljqoQACgkQeGxj8zDXy5JpNhAAukkXunaOArrkMYybfr/3akY9Fwd5XCUKzjxhw8ffVYnRilLK4JaL0Z73UMB9E7iwAak6nJE0viJH37z0khaSlRNI3f0PLVf2DFE7wVQIcE9e+xlu2G6Z4k/sDHKgBBQjILCFqbHAtwAwLusrT6LJL++mhYo6pVcHcPJoa8z3Os5oTqZxEVLkAHev6oU/yv1qYygQ/IWDNjr9N03S9iGKwFvt40u1koeVAvFxaJApulRiYt/OfIvomKDZkksTnhjO4DencTWX78s46sHjVcr2s6b4Jw9YOSmVfO17rsRa+vreNZsdwrYbIoqF7fV1LPvOhgRNtmiJW+C/ecE+zN6Zw/+/k8BnRLOGRH0f6YBh7xHqIPTTMcjU0UuZEux1zxR1iX4Lhz6jG3X7EDDFbtD6KimPePe5+IIotbBw+5nlgfyM/rA5FgwoRnr8fp9aF4q/m2ObeOMOin5/nA316JAFiLS1K7QcwiB8OoUmw8wNA6io4TCpLu+l2N5G4YGRYYWcMSbyJiGdJuN+aUTS9+SnjWQxgzh0xaW9l2wXmC6Nuqa0AAOz4ZWAcN5GNnuSLpmRa8xLdP9pg4pR+qrU8aKo63hv1N07jEpDGj0CpWOlOMjcdsWM7R+gDzPEj5w83FqQx5YcziiBD3Xg1ngA/EcObpti9qk1B+CwP8Oj2Z4VOys=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1768139366

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

