1 files changed, 8 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 34acba736378..fc424d034930 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,17 @@
-# Generated by mksrcinfo v8
-# Mon Feb 15 16:07:39 UTC 2016
 pkgbase = yices
-	pkgdesc = An automatic theorem prover - compile from source
-	pkgver = 2.4.2
+	pkgdesc = The Yices SMT Solver
+	pkgver = 2.5.4
 	pkgrel = 1
 	url = http://yices.csl.sri.com/
-	arch = i686
 	arch = x86_64
 	license = custom
+	makedepends = gcc
+	makedepends = gperf
+	makedepends = gmp
+	makedepends = make
 	conflicts = yices-bin
-	source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.4.2-src.tar.gz&accept=I+Agree
-	sha512sums = 597558d3a7ffe870e79d878de292f8cf2993a5a8a69c0cda77849fd3bb20d6fbb784da0df202b1abd8f6c3976dfca5d3b10f94e067043e1c29e87d1e7161a4ef
+	source = http://yices.csl.sri.com/releases/2.5.4/yices-2.5.4-src.tar.gz
+	sha1sums = 664e354b6c3ed3d61fbe663e1fc3e00c5faf764e
 
 pkgname = yices