summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO4
1 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 5ccce883cc06..cb88295e4daf 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,13 @@
pkgbase = saw-script
pkgdesc = The SAW scripting language.
pkgver = 0.1.1
- pkgrel = 1
+ pkgrel = 2
url = http://saw.galois.com/
arch = x86_64
arch = i686
license = noncommercial
depends = cvc4
- depends = ncurses
+ depends = libtinfo
depends = java-environment
provides = saw-script
source = https://github.com/GaloisInc/saw-script/releases/download/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-64.tar.gz