yices v2.6.0

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index fc424d034930..3790c74d6af3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = yices
 	pkgdesc = The Yices SMT Solver
-	pkgver = 2.5.4
+	pkgver = 2.6.0
 	pkgrel = 1
 	url = http://yices.csl.sri.com/
 	arch = x86_64
@@ -10,8 +10,8 @@ pkgbase = yices
 	makedepends = gmp
 	makedepends = make
 	conflicts = yices-bin
-	source = http://yices.csl.sri.com/releases/2.5.4/yices-2.5.4-src.tar.gz
-	sha1sums = 664e354b6c3ed3d61fbe663e1fc3e00c5faf764e
+	source = http://yices.csl.sri.com/releases/2.6.0/yices-2.6.0-src.tar.gz
+	sha1sums = a53d0293d29d7f71a267b4e680e6214c02132b26
 
 pkgname = yices
 
diff --git a/PKGBUILD b/PKGBUILD
index 647550c8dc58..7323109a96fb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 # Maintainer: Alex J. Malozemoff <amaloz@galois.com>
 
 pkgname=yices
-pkgver=2.5.4
+pkgver=2.6.0
 pkgrel=1
 pkgdesc="The Yices SMT Solver"
 arch=('x86_64')
@@ -10,8 +10,8 @@ url="http://yices.csl.sri.com/"
 license=('custom')
 conflicts=('yices-bin')
 makedepends=('gcc' 'gperf' 'gmp' 'make')
-source=("http://yices.csl.sri.com/releases/2.5.4/yices-${pkgver}-src.tar.gz")
-sha1sums=('664e354b6c3ed3d61fbe663e1fc3e00c5faf764e')
+source=("http://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz")
+sha1sums=('a53d0293d29d7f71a267b4e680e6214c02132b26')
 
 build() {
   cd $srcdir/$pkgname-$pkgver