1 files changed, 4 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b97f4c78ba9b..2647de381fa0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Mon Feb 15 16:09:16 UTC 2016
+# Wed Oct  5 17:29:14 UTC 2016
 pkgbase = yices-bin
 	pkgdesc = An automatic theorem prover - download release binary
-	pkgver = 2.4.2
+	pkgver = 2.5.1
 	pkgrel = 1
 	url = http://yices.csl.sri.com/
 	arch = i686
@@ -10,8 +10,8 @@ pkgbase = yices-bin
 	license = custom
 	provides = yices
 	conflicts = yices
-	source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.4.2--unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree
-	sha512sums = d9bf0cc20091e165db59ac97923e93e5137e21e88414b006a7569ffd5c4351ed55cbebcc7670f6df509ef2eb1824ec5fd77ec0a7ba798aa31ffc1ea621242351
+	source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.5.1--unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree
+	sha512sums = 806c75ba85e06cc761d2d19bb0ce2a6727d6a3240a53b0fb4f3e2f3bf17c176def551166a39b75fc423451647454922492ebb8dddac27b76155c90ce1c53cd96
 
 pkgname = yices-bin