# Generated by makepkg 6.1.0
# using fakeroot version 1.35
pkgname = yices
pkgbase = yices
xdata = pkgtype=pkg
pkgver = 2.6.4-2
pkgdesc = The Yices SMT Solver
url = http://yices.csl.sri.com/
builddate = 1720966938
packager = Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>
size = 7535195
arch = armv7h
license = GPL
depend = cudd
depend = gmp
depend = libpoly
makedepend = gperf
