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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-295

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93919

%ISIZE%
621491

%MD5SUM%
33e36e14bc9027b366f5b0567135945c

%SHA256SUM%
bf001ea1d7af089f03135f386592d3b1c9f66768ea4ae18b857d0bdf82a3c7d1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNLy4ACgkQeGxj8zDXy5KP9xAAs8yq5qz0g4DWF2Re4W6RJlC8wvWdMBkpA5sKZYi7e6Z3zM6hZZfPP5CCQEwD9Co7dHPoK9VmszEbAf4ais18aatx24UTOEmp6vjAxis2vw0j0xzLefQsH7nCQGt7V0orvJ+5nbXVI+1aEVR3vTQ3ciwU1GUuVvYm8U9/6zz08rOjCGSwP5HvwkSiGYBj/N6PTZ895Rvj8KdNm3q1AYe/kDO0OmDjmdimLJunxoSQeLUrPuNR583ZS9ULm04/X0voiD4j+jjUXCUx/hdDKyuiB5tL0YLdmipBjxNYBNgzVXXwqs6l7jZJJukjc/EQIiYPdC5QcaZEM994dGCHETPSnB9dTzmJHGfUg6p8uFsgRCfrdisrHEFGW9L1LEnqxUop4jPnDxkl6Y7zu7DLcVP06urxfan20ORiUAwlvi0uSKxWk8BfWadXvsz+QyX6qRC6ASAxqzGBURUItBLsrniksK9SkbOuEVOT3kf9zo58cSeDV5pg8GHiehDKyoFTOvrWC/vmvzqeFECgINob+1Oo3MtIH5IIox2CQ0S3q24WtCGr7K17FhGrSCGqRR/tEd+8ENrgZfK3dpoWVwd+igM7D3/uX86ZHaa+aRyGczvFLCRTm8SBXYK7cWKYF4E41BODbgQuILZ44148m8MMuNAj05tSljKClrFdNWdhWTHF0sA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1758277391

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

