Bump version

2 files changed, 7 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 3df6646113d1..01200fdb0ce8 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Fri Jun 30 15:32:39 UTC 2017
+# Sun Nov  5 21:55:46 UTC 2017
 pkgbase = yices-bin
 	pkgdesc = An automatic theorem prover - download release binary
-	pkgver = 2.5.2
+	pkgver = 2.5.4
 	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.2--unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree
-	sha512sums = f30aec962de8586361149cd9c696cd24a8fbe4a30544a8350a041a1a5f05c5c1f431f7459ab2050c9da2f126396853d576ab17610220134cdd55c20c3d6390fc
+	source = http://yices.csl.sri.com/releases/2.5.4/yices-2.5.4-x86_64-pc-linux-gnu-static-gmp.tar.gz
+	sha512sums = be17ce09f24ee7ff4e8d795d8ff9916a1d6c4506331ad184908e85485a92f3ef1890bd9c95126dbccd07e39e5c02318980815497725afe2692358859ec68cdd1
 
 pkgname = yices-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index c52ead6883bd..f34bb5035896 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 # Maintainer: Brent Carmer
 
 pkgname=yices-bin
-pkgver=2.5.2
+pkgver=2.5.4
 pkgrel=1
 provides=('yices')
 conflicts=('yices')
@@ -11,8 +11,8 @@ pkgdesc="An automatic theorem prover - download release binary"
 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=('f30aec962de8586361149cd9c696cd24a8fbe4a30544a8350a041a1a5f05c5c1f431f7459ab2050c9da2f126396853d576ab17610220134cdd55c20c3d6390fc')
+source=("http://yices.csl.sri.com/releases/2.5.4/yices-2.5.4-x86_64-pc-linux-gnu-static-gmp.tar.gz")
+sha512sums=('be17ce09f24ee7ff4e8d795d8ff9916a1d6c4506331ad184908e85485a92f3ef1890bd9c95126dbccd07e39e5c02318980815497725afe2692358859ec68cdd1')
 
 package() {
   cd "$srcdir/yices-$pkgver/"