pkgbase = yices
	pkgdesc = An automatic theorem prover
	pkgver = 2.4.1
	pkgrel = 1
	url = http://yices.csl.sri.com/
	arch = i686
	arch = x86_64
	license = custom
	conflicts = yices-bin
	source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.4.1-src.tar.gz&accept=I+Agree
	sha512sums = 0398535a4bf8940cf10ed78873fffa6f177e6e20fcdffd5efea7ab40775efba0577951e63c42df6a28f7dae41c2ac9d970fd80bd8c0fe3286af7427068cd92be

pkgname = yices