blob: 3e737b60c18984707254aca8ac755dfb1ea9da5d (
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 SAW scripting language.
pkgver = ef1f6549
pkgrel = 1
url = http://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
md5sums = SKIP
pkgname = saw-script-git
|