Update

2 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f190d81e7a4a..c86b0d7f9eff 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 pkgbase = yices-bin
-	pkgdesc = An automatic theorem prover
+	pkgdesc = An automatic theorem prover - download release binary
 	pkgver = 2.4.1
 	pkgrel = 1
 	url = http://yices.csl.sri.com/
diff --git a/PKGBUILD b/PKGBUILD
index 9e464d88f406..07af7634eb2d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,7 @@ pkgver=2.4.1
 pkgrel=1
 provides=('yices')
 conflicts=('yices')
-pkgdesc="An automatic theorem prover"
+pkgdesc="An automatic theorem prover - download release binary"
 arch=('i686' 'x86_64')
 url="http://yices.csl.sri.com/"
 license=('custom')