# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = yices
pkgbase = yices
xdata = pkgtype=pkg
pkgver = 2.6.5-1.1
pkgdesc = A solver for Satisfiability Modulo Theories (SMT) problems
url = https://yices.csl.sri.com/
builddate = 1762187956
packager = ALHP x86-64-v2 <alhp@harting.dev>
size = 8755195
arch = x86_64
license = GPL-3.0-or-later
depend = cudd
depend = gmp
depend = libpoly
makedepend = gperf
