summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorBrent Carmer2015-08-11 10:45:20 -0700
committerBrent Carmer2015-08-11 10:45:20 -0700
commit1378169dd217d6251f8300f4cc44fbec983e07af (patch)
tree3adbdbb8890e7fae92d033d589c1e76a5e4f2fa6
parentb149360a62390df2db50c8a2ca2ab179e2f6fbeb (diff)
downloadaur-1378169dd217d6251f8300f4cc44fbec983e07af.tar.gz
Update
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 67bd979762b1..dbdd0bb79437 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
pkgbase = yices
- pkgdesc = An automatic theorem prover
+ pkgdesc = An automatic theorem prover - compile from source
pkgver = 2.4.1
pkgrel = 1
url = http://yices.csl.sri.com/
diff --git a/PKGBUILD b/PKGBUILD
index 09396ed23644..f038657e73f0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
pkgname=yices
pkgver=2.4.1
pkgrel=1
-pkgdesc="An automatic theorem prover"
+pkgdesc="An automatic theorem prover - compile from source"
arch=('i686' 'x86_64')
url="http://yices.csl.sri.com/"
license=('custom')