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