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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-240

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93641

%ISIZE%
621493

%SHA256SUM%
1c757bdb2b94372fe9a75c15a8ea215e826d79a9cf2e3e61107cda9afc4d6425

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHqn4ACgkQeGxj8zDXy5LYBQ/+KP68AxpMU0fC/tutesJd6esL3UplRBhyPrmVOYTbDbSyO2TwGyf99pVpP1Xq6YxjEMvJDLsp3zLjiW1pNc7BoDfmvDeHTGF921jezetgJAGvEIwbi5QgNU06WEUgQFJuxQHO2voNjtAV2yIRxFTukV060AjkByxc87id5730DRdeQJSUUCLduc9Anjgb9Zyabfcm2CORiaO+1rsQAkAG0i4+KQzlkZrfHC+uz4gNru/J4LQ7DYLtM74kRVqdethjkj+3MvsUbwNEGBQhHzmvnDth3CqsF7Tf7ODLIYMQ6cGkfw+tJW2TPiVBCFSpI+RUGsXx2+ScC2AVnXgoso6LUvQjE3rmLkhbzfaKSh23naTxkWEoCQ5lpBRrdUUMrjAFtpyj/sHqwBlm+r27V/HxvbRL3R4hFxMNtkxz8QCixumEa2TMxLbjZ5LaZrsa+JgyasfzU4SV1/bqns+6oVocYww3DIAYvQP+gcUSjlEZYRh1CL6/39qn/hv4SDidRfmbQabWw1A5eLCVWo+yUABRTVMNOEtwZNTWR9i219OKxZExcbOvdv9xRSEecTsNrlWORCrdwYmcHK+LkySKF7Lc8cS4PHulUWmgInd0bPLdXBgXCVmdse96rtBhq9LBb9Lh8hEZBOJAFsYFs3D3/HcDcvKBuNt3dQbsOF1H/XFP3zY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1753721439

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

