# Generated by makepkg 7.0.0
# Sun Jan 12 19:30:42 UTC 2025
pkgbase = yices
	pkgdesc = The Yices SMT Solver
	pkgver = 2.6.4
	pkgrel = 2
	url = http://yices.csl.sri.com/
	arch = x86_64
	license = GPL
	makedepends = gperf
	depends = cudd
	depends = gmp
	depends = libpoly
	source = https://github.com/SRI-CSL/yices2/archive/Yices-2.6.4.tar.gz
	sha512sums = d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763

pkgname = yices
