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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-238

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93858

%ISIZE%
621514

%MD5SUM%
3fe45779b506b5a27d82d66f747ec051

%SHA256SUM%
bd52fc6ecbf3db8a9a8640422689a34b7e899bf962379c71d06dae69fc652418

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh2g4EACgkQeGxj8zDXy5J7VhAAh8Lnvbmq/C461zDYPoanU9KLKq/YPsACy2uw2BQfQquHAM/6DfTXOsEwTNynnFS2bqqcT5Dse2n932tfC3ZipqfCDyYl6evTCWA3mQfXB+6M+cH4vKfHDaxq+rfii20ce2r4pCfNvdic9+pf9KgHapXyTlrFYCF6mWXmE8yvaWWjzBeBKEopVaN8RhEmPzQ48OKSorozPP4jqYjGrptlKOrlM765n7M9HUIqu3h5jym9O4vCKN1NlaRQ9nBpEx5ciB2Twb/xFkLT8SBvtAcEK+qO2VI7OthqXQJ3nnE+nAIxkaxxIrxEkRtt89t6AFmGre1qMvesiEvpdksfVP0RqSsqywbo3A7QqffntRnOqFKGVCOLgAq63tLs/H5S4fs0iHUugYFBy4lrZ5y926N+NUiFZXzlfkwYE06t9l5IMyG9OfwfhXKncrblFpbyUzIa/tbHOduiygLsxbtm88VPc+qgO6GKkKsJbHmrcgh1wyAcuh4T8mOEvzIzQCijA2Uzgi6Q1c6d3yatCjsk4q8bNOUiEJJXa4khNEsfCVTu5qTkiYPfTe2qy5sSmoGUZXSwxECDUhsfzFaYfuhF3ZJYgXJjODGE0z2JxYaqqKH4HbdmF6mxUCoOTTO3EjnPzEnRkElaYNUI04gHu+vHubBlKzlGFVUrM8Ei0lCU1ubEMiw=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1752597313

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

