diff options
| author | Brent Carmer | 2017-11-07 11:32:32 -0800 |
|---|---|---|
| committer | Brent Carmer | 2017-11-07 11:32:32 -0800 |
| commit | 72308a37c5fa9359cab856a21db3a61b4ee067f0 (patch) | |
| tree | f01fab0512edf4ad9f5caebaf79062a0755a43a6 /.SRCINFO | |
| parent | 163c08defbc3e4dc07e2d140b820e0648893aa3e (diff) | |
| download | aur-72308a37c5fa9359cab856a21db3a61b4ee067f0.tar.gz | |
bump version
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,18 +1,18 @@ # Generated by mksrcinfo v8 -# Fri Sep 30 17:59:07 UTC 2016 +# Tue Nov 7 19:32:31 UTC 2017 pkgbase = saw-script-git pkgdesc = The SAW scripting language. - pkgver = cbeb831 + pkgver = 6e417757 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 + depends = z3 provides = saw-script conflicts = saw-script source = git://github.com/GaloisInc/saw-script.git |