# Generated by makepkg 6.0.1
# using fakeroot version 1.26
pkgname = haskell-presburger
pkgbase = haskell-presburger
pkgver = 1.3.1-20.0
pkgdesc = A decision procedure for quantifier-free linear arithmetic
url = https://github.com/yav/presburger
builddate = 1633921784
packager = Erich Eckner <arch32 at eckner dot net>
size = 467919
arch = i686
license = BSD
depend = ghc-libs
makedepend = ghc
