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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-337

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94686

%ISIZE%
630291

%SHA256SUM%
5605085e3e5114052a9056eb9efcb9c4e425adca0e76b9b1286bed5c0eb2432f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8P8cACgkQeGxj8zDXy5IPOQ//VJG92YAYry/wOFAh+kJeKJ1Alp3kf2bYqmsYHhKyQz9aIknK/Gxe0yNWTCyAlMDmY4fIAwuoR9BCXN3U/UWkp8qoj1aDQIDna4+/FbzWrCYnIZkyLq6y49xTHK6KJrTOhWIbv94dzJBUPW2uhCII7HEglepFT0GuQxMjDShMvUlnnzug/ng2WqqgtZSIOH23wau6ypyqnRKh0RAqxMBDR9L5BS7YQVDIlmmlyktau09UxT4RQtB9Yz+6fY4UrqWuLYolgYEnMryYSaTP5Kv8UGrYzRoL6y54YmaaYO7f59TDz5IW8q2WSRhT4sJIwoQ7b8yk0v7M+OkNfjTvZ5x9FiszUarMwWiYEbgkCwjVXXlu6IUb7neTPdT54eGMAZ9/3LrqEstY4wp0hCJxLuIav1Nb+/ODPS5UX0amAX6lqtwpl9F0V1+hVM+s6F235lVaNt82pBy5IxehPtAc5XDOmgvUbTnKL5SkenNH+Wu5VQh43D2K4Ujv5Pa55N0pCuyWCRDFxWqENoDJK9QIeuVCdU0D6Pwy8e0bYt2RrLqBWM1CAnfyUWHL9+/Ng1xqbCuwhea2JeEQd4i3sf/OOC3vHPSvZC/uYtJu8MkmYBjKLVAv6ljeSV36O+DuzDpRcQZpnw5mZ/6L4DpTL99q2x4JPBEkYvQfhFA0efohJbV+xH8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778139055

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

