diff options
author | Brent Carmer | 2018-05-23 13:11:41 -0700 |
---|---|---|
committer | Brent Carmer | 2018-05-23 13:11:41 -0700 |
commit | 890f942dfd068b1b26e107773a60e61ea1ea3189 (patch) | |
tree | d86109e6f75bcadfb4194a8cd1fb3b8458288234 /.SRCINFO | |
parent | 72308a37c5fa9359cab856a21db3a61b4ee067f0 (diff) | |
download | aur-890f942dfd068b1b26e107773a60e61ea1ea3189.tar.gz |
update build
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -1,17 +1,14 @@ # Generated by mksrcinfo v8 -# Tue Nov 7 19:32:31 UTC 2017 +# Wed May 23 20:11:37 UTC 2018 pkgbase = saw-script-git pkgdesc = The SAW scripting language. - pkgver = 6e417757 + pkgver = 0dbc21f1 pkgrel = 1 url = http://saw.galois.com/ arch = x86_64 license = noncommercial makedepends = cabal-install - depends = cvc4 - depends = java-environment depends = ncurses - depends = cryptol depends = z3 provides = saw-script conflicts = saw-script |