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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-377

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94659

%ISIZE%
630283

%SHA256SUM%
49fe3d20cc368f61fa2923d884f2a91fc20f983f1e81ee5dbb4671af5af92e03

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCgwIACgkQeGxj8zDXy5KRUQ//WHB/xlhkiu+TH31bS8Z2brlmAQdonnFRczsW7LvfZh3eDWEO7Utzgu2TDmOFRLn5sVLc09xmDoZ7FztbsGgdkjUFLhTWjUaPcGh6/vrNQegL0vB0Gi6BbgCJxX9tAwnsbR7LMtU1vKkesHJGQnEAFEy05X4H6ijJt7jkR7F91RJU6+ssNjSxqdWeO0CbDVjejMqLdSoby9kWO7wfQR+MF+YnW2lJs/MRqf3iX/G199AIVg8E8O0qfWLrYp3c2Pd6YCCCuv4AyWxeXdL4mGRZs/+ZclRnE99H8dS2SiNVrSll1nyX/cIAqO+6tNYLZSZd7snbfJwgzxHpCDwxsfDRHaiyT+0h0s042V8PszwRHfUKVz3YLJVPV+hGdoH6BG38x0bIxuCC4Vm9quk+qNJ+JNjdutUCJZZJ55CUqe+7flRAaKxvF1sDW1SWJJUoylKDAliQ9PKmMZ1AQAMZHovBJocsVMZp+Rvu5qcOoxbr4BU4TntB566P4VpaCgLBRK9BSHmuxTQUg9wQQQHdszye3ndd55ucRka2rP6UeI29lUW8VAedMEp9H2HHBNwHJAq3iQKouiSw8z5/J1DWn4pjTsm2SBy+paorEAjnGGgp3qQiyHV17oh9v6BJmP1cvRrgOIkap28MHzcVU0sUBjkM4PFsDQN1vCAjFdChX5mZ4fU=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791132395

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

