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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-336

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94575

%ISIZE%
634425

%SHA256SUM%
863f9695314f08e7220fb25d6d5df08804087e858a02a79d654ffb0337605ef7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7FZEACgkQeGxj8zDXy5IoHw/+OxwrjbGwC93A1AEvCLy8VyofFxf646FrFaJfhlhKDE5Uh2fo2Pnc1bRm9kSPcTm9+TxYFqnRI241UG+8LVFp9Xt0NwKEU1yzX5XLnIN6rIRR0R7Dt3yLcPJMvBd7jLpVam5m2ghU+aJckzrJwn97cMEqGjEX/37Hbo5Bl6wJI8DIIdmMnIE4Xb0lAEVoC0s5Hlo0J8SCQ2f8ELalLH8SMmMmhMGmQU/mbu/EikDuQzaTTo4bT5o7oZIS/OvqM+/G6OUdJggLiSyaQ0JOeZDTulAKVyvM8PELpRkHIxxGyUEHay9bOK//45Vtqe4X/xsRRIav/QWhcmrGx3ufgN9Hf8O3cAmMcfy2LJuKS3bLONOsmaUFJQH5z2NHlKypXX/8uvtgjUs6fKiaVhWA/HwUn/IK9tTjI5SoQ3na1JuKrU2hZEqeNoYh3W6KsNzrfLyBx2m7wt6HVwBfFoiZpOBHwqTPKhCSjO/Boonr8/k2XxXIxIndck4w7X//QxfdkWmr1tLSylVfVErRtfQag6egZk5GbrAOKKhoyM26O+Zf4Uy7mphTuB7B8LyTeR0rTC7dzDtf5ylijc1DbbVRS7SWSB4KhLoZY4hD9ie/DKbiZXCkOykWieypmpm3bdoGzszL6ZvQfg3SO0ZwMoCYLk6SxnZOD8RrdOdqo9h6XJ1gBvs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778062711

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

