diff options
author | Brent Carmer | 2016-09-30 10:59:16 -0700 |
---|---|---|
committer | Brent Carmer | 2016-09-30 10:59:16 -0700 |
commit | 163c08defbc3e4dc07e2d140b820e0648893aa3e (patch) | |
tree | 2e4b481b6550eab856fa2a376b2ebf809e963193 /.SRCINFO | |
download | aur-163c08defbc3e4dc07e2d140b820e0648893aa3e.tar.gz |
initial commit
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..177937792f4a --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,22 @@ +# Generated by mksrcinfo v8 +# Fri Sep 30 17:59:07 UTC 2016 +pkgbase = saw-script-git + pkgdesc = The SAW scripting language. + pkgver = cbeb831 + pkgrel = 1 + url = http://saw.galois.com/ + arch = x86_64 + license = noncommercial + makedepends = cabal-install + depends = cvc4 + depends = libtinfo + depends = java-environment + depends = ncurses + depends = cryptol + provides = saw-script + conflicts = saw-script + source = git://github.com/GaloisInc/saw-script.git + md5sums = SKIP + +pkgname = saw-script-git + |