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