# Generated by makepkg 6.0.2
# using fakeroot version 1.30.1
pkgname = yices
pkgbase = yices
pkgver = 2.6.4-1.0
pkgdesc = The Yices SMT Solver
url = http://yices.csl.sri.com/
builddate = 1671619056
packager = Andreas Baumann <mail@andreasbaumann.cc>
size = 8155179
arch = i686
license = GPL
depend = cudd
depend = gmp
depend = libpoly
makedepend = gperf
