pkgbase = yices
	pkgdesc = The Yices SMT Solver
	pkgver = 2.5.4
	pkgrel = 1
	url = http://yices.csl.sri.com/
	arch = x86_64
	license = custom
	makedepends = gcc
	makedepends = gperf
	makedepends = gmp
	makedepends = make
	conflicts = yices-bin
	source = http://yices.csl.sri.com/releases/2.5.4/yices-2.5.4-src.tar.gz
	sha1sums = 664e354b6c3ed3d61fbe663e1fc3e00c5faf764e

pkgname = yices