blob: 5ccce883cc06a2adf649d0dd7c9dc31aa382e6c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = saw-script
pkgdesc = The SAW scripting language.
pkgver = 0.1.1
pkgrel = 1
url = http://saw.galois.com/
arch = x86_64
arch = i686
license = noncommercial
depends = cvc4
depends = ncurses
depends = java-environment
provides = saw-script
source = https://github.com/GaloisInc/saw-script/releases/download/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-64.tar.gz
md5sums = SKIP
pkgname = saw-script
|