# Generated by makepkg 6.0.1
# using fakeroot version 1.26
pkgname = haskell-simple-smt
pkgbase = haskell-simple-smt
pkgver = 0.9.7-1.0
pkgdesc = A simple way to interact with an SMT solver process
url = https://github.com/yav/simple-smt
builddate = 1633909644
packager = Andreas Baumann <mail@andreasbaumann.cc>
size = 292372
arch = pentium4
license = BSD
depend = ghc-libs
makedepend = ghc
