# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = haskell-refinery
pkgbase = haskell-refinery
xdata = pkgtype=pkg
pkgver = 0.4.0.0-313
pkgdesc = Toolkit for building proof automation systems
url = https://github.com/totbwf/refinery#readme
builddate = 1770225142
packager = Felix Yan <felixonmars@archlinux.org>
size = 679101
arch = riscv64
license = BSD
depend = ghc-libs
depend = haskell-mmorph
makedepend = ghc
makedepend = haskell-quickcheck
makedepend = haskell-checkers
makedepend = haskell-hspec
