yices v2.6.2

2 files changed, 8 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1a838a7839c0..848bde5d9bc0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,15 @@
 pkgbase = yices
 	pkgdesc = The Yices SMT Solver
-	pkgver = 2.6.1
+	pkgver = 2.6.2
 	pkgrel = 1
 	url = http://yices.csl.sri.com/
 	arch = x86_64
 	license = custom
 	makedepends = gperf
-	makedepends = gmp
+	depends = gmp
 	conflicts = yices-bin
-	source = http://yices.csl.sri.com/releases/2.6.1/yices-2.6.1-src.tar.gz
-	sha1sums = 387f20480d38f7e0692260ea187d128cb65b2d07
+	source = http://yices.csl.sri.com/releases/2.6.2/yices-2.6.2-src.tar.gz
+	sha1sums = 5ea0cd1d49fa17eda970480fa3d09fbb2147d694
 
 pkgname = yices
 
diff --git a/PKGBUILD b/PKGBUILD
index ec088b289175..739b414f8846 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,16 +2,17 @@
 # Maintainer: Alex J. Malozemoff <amaloz@galois.com>
 
 pkgname=yices
-pkgver=2.6.1
+pkgver=2.6.2
 pkgrel=1
 pkgdesc="The Yices SMT Solver"
 arch=('x86_64')
 url="http://yices.csl.sri.com/"
 license=('custom')
 conflicts=('yices-bin')
-makedepends=('gperf' 'gmp')
+depends=('gmp')
+makedepends=('gperf')
 source=("http://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz")
-sha1sums=('387f20480d38f7e0692260ea187d128cb65b2d07')
+sha1sums=('5ea0cd1d49fa17eda970480fa3d09fbb2147d694')
 
 build() {
   cd $srcdir/$pkgname-$pkgver