# Generated by makepkg 6.0.0
# using fakeroot version 1.25.3
pkgname = haskell-refinery
pkgbase = haskell-refinery
pkgver = 0.3.0.0-72.0
pkgdesc = Toolkit for building proof automation systems
url = https://github.com/totbwf/refinery#readme
builddate = 1622830496
packager = Andreas Baumann <mail@andreasbaumann.cc>
size = 474368
arch = i686
license = BSD
depend = ghc-libs
depend = haskell-logict
depend = haskell-mmorph
makedepend = ghc
makedepend = haskell-quickcheck
makedepend = haskell-checkers
makedepend = haskell-hspec
