1 files changed, 4 insertions, 3 deletions
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