diff options
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 |