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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-364

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94624

%ISIZE%
634396

%SHA256SUM%
ffe5d7f7753b5ceb3122a3cfce6ef16aad8ea7564dce85b627ea700f955ba9e5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUM2oACgkQeGxj8zDXy5K38Q//XaPggdnft/A5R9kSmVWynrHO080XzKezGoFs2d5P8B6NEGdnVh8TUqBMZDMsnSvBoW7uQ/0o93oAk8VLF0btZmMEPGZQcfqQ8kKaDbI4+Qor4IW87eyRCTWUlqx/dZ+CbTRPqKVymlkE3YscoS9gV1Y5uEzeGJCz7XzvwqWp2W6VLiHSVpSUglFHIIhOVWlK3bk9t9eQe1pNULL7UxU7t/O3snBZJegIaiuQkqENMNLvHjJjK7h0QKq8qRBroFTY4eZxMTmWuWKWhkohdscqn9tx9/zXfqq9cqv8FR7zZyhhETvhrW02BtQBFNMlrXHszhZgGBSi+NxCVCu6rzo46f9SbN4B0heOxKf5w51nROhkBghNm4zSAPKpued1iLuRxd70xBMOCj8ROeBQ8QDpZfhhnmaPHLhd3U6bpdPnHqyRloVadrqgSyojG+WfxLW0/y6IH9vVaP7G1zIdOnaf3Kee8pOPJRPzaqJLHFc4VZcHo3U/Bdm3Q/FQTo7wsKt4cMDSF1UxyIldLRfMCKNkb8K0minBxyFFi1ol9RTTzO/1I082XFN+JhnQdzdhMkZEuj3nn/HgLPFuo97Nq42M/dfsFw4SbBgZsT+1oG2fKIqti7X85wddZepyzMd5KmjbKu9yNOHdJ0kwyL+fa16ZhjMWLi81wLf7QRgJfZh35+M=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1788097364

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

