blob: 88d4d9deaa76d4ce059dbd631fe493d30e8542a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = saw-script-git
pkgdesc = The Software Analysis Workbench
pkgver = r2688.75c7fd76
pkgrel = 1
url = https://saw.galois.com/
arch = x86_64
license = noncommercial
makedepends = stack
makedepends = perl
depends = ncurses
depends = z3
provides = saw-script
conflicts = saw-script
source = git://github.com/GaloisInc/saw-script.git
sha1sums = SKIP
pkgname = saw-script-git
|