summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorAlex J. Malozemoff2018-11-14 09:46:52 -0800
committerAlex J. Malozemoff2018-11-14 09:46:52 -0800
commit4f70b9ec6076d210b726a322b6b93d954cecf057 (patch)
treeeae1af721751f8050c3968d687939026b6ddfd29 /.SRCINFO
parentff1552c64b294cc4968d2e0e30f8304968453701 (diff)
downloadaur-4f70b9ec6076d210b726a322b6b93d954cecf057.tar.gz
use build.sh script
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO7
1 files changed, 3 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index fa3cfc5a19c3..3e737b60c189 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,12 @@
-# Generated by mksrcinfo v8
-# Fri Jun 1 16:33:27 UTC 2018
pkgbase = saw-script-git
pkgdesc = The SAW scripting language.
- pkgver = c3211c47
+ pkgver = ef1f6549
pkgrel = 1
url = http://saw.galois.com/
arch = x86_64
license = noncommercial
- makedepends = cabal-install
+ makedepends = stack
+ makedepends = perl
depends = ncurses
depends = z3
provides = saw-script