bump version

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2647de381fa0..3df6646113d1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Wed Oct  5 17:29:14 UTC 2016
+# Fri Jun 30 15:32:39 UTC 2017
 pkgbase = yices-bin
 	pkgdesc = An automatic theorem prover - download release binary
-	pkgver = 2.5.1
+	pkgver = 2.5.2
 	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.5.1--unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree
-	sha512sums = 806c75ba85e06cc761d2d19bb0ce2a6727d6a3240a53b0fb4f3e2f3bf17c176def551166a39b75fc423451647454922492ebb8dddac27b76155c90ce1c53cd96
+	source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.5.2--unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree
+	sha512sums = f30aec962de8586361149cd9c696cd24a8fbe4a30544a8350a041a1a5f05c5c1f431f7459ab2050c9da2f126396853d576ab17610220134cdd55c20c3d6390fc
 
 pkgname = yices-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index 7e63b2f540a7..c52ead6883bd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 # Maintainer: Brent Carmer
 
 pkgname=yices-bin
-pkgver=2.5.1
+pkgver=2.5.2
 pkgrel=1
 provides=('yices')
 conflicts=('yices')
@@ -12,7 +12,7 @@ arch=('i686' 'x86_64')
 url="http://yices.csl.sri.com/"
 license=('custom')
 source=("http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-$pkgver-$CARCH-unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree")
-sha512sums=('806c75ba85e06cc761d2d19bb0ce2a6727d6a3240a53b0fb4f3e2f3bf17c176def551166a39b75fc423451647454922492ebb8dddac27b76155c90ce1c53cd96')
+sha512sums=('f30aec962de8586361149cd9c696cd24a8fbe4a30544a8350a041a1a5f05c5c1f431f7459ab2050c9da2f126396853d576ab17610220134cdd55c20c3d6390fc')
 
 package() {
   cd "$srcdir/yices-$pkgver/"