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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-350

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94602

%ISIZE%
634381

%SHA256SUM%
633ff58f9a54a7b06c3871fdca97c86b6b4d5976e609b4a400cdc8d5454dfa18

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3AB4ACgkQeGxj8zDXy5K9KA//TMl5q2ap6Lg11moIMrQ+YTQCh6XBqQUjvBgmzIXc8O/X098YmC915u33Ka/a4bvBCU3yh6jPSMD2gz7tNeMCs9GaWBt9nK0KFybWYIHnCbAaVsXF13LPNnVvXio5nJ1M9fGg1+MPAm4sQbFqlYOUHMJvLT/GfjRQdIRRaTERCdKHR2hL74ehp42D7z8sRJLirrRXYpTcrjjoHDNgleQcJ4lZdsEOPuBICQbvmsLKJ8sYA3ST+ZZNbI6zdeYinj5KB7l3r+2L/u1ZGTi4mENdJpxcdZO9Ocan4y/pxA1wpEs0COCVrNbFJ2wJm7yG5D3IgwWvFF2IqaSGAeKYKuKyWwcJvRN+2s3BwkYSc3IJsHs18y3+gGzhNW37VS3ZkxfGVJefRUVA/oU/Puko/nsW6KjiiKqeahaOosCBafjjlCiwDPFWtN9t4m2nnPclBSjgYChE+jjZn+mugLO/hr+Cwk1nDmJFxpcbTIf8Tkybul2JyctlJDAZ+FtNRBWSXHLIula3LVwvfQKkzgopH8xqCaDkP0nLmZAWMTJ/6c7CkuIANmfEbNwmmrbuwvgKtZGVy9u7CxADPm3kkHSP8nGgXv7sFWFxQ2yU7Okgb0bYHuviTlfbR0FVdgVnKe46IkxMWcg7V9aLFNnhGRygkbzPfqpJXFeUZ7FwaS1ni5nFlrE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781989360

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

