# Generated by makepkg 5.2.2
# Wed Feb 10 00:27:33 UTC 2021
pkgbase = yices
	pkgdesc = The Yices SMT Solver
	pkgver = 2.6.2
	pkgrel = 2
	url = http://yices.csl.sri.com/
	arch = x86_64
	license = GPL
	makedepends = gperf
	depends = cudd
	depends = gmp
	depends = libpoly
	source = http://yices.csl.sri.com/releases/2.6.2/yices-2.6.2-src.tar.gz
	sha1sums = 5ea0cd1d49fa17eda970480fa3d09fbb2147d694

pkgname = yices

