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