blob: 150df50f176b7d21c95aeb11287deb8b22eaa59f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = saw-script
pkgdesc = The SAW scripting language.
pkgver = 0.3
pkgrel = 1
url = http://saw.galois.com/
arch = x86_64
license = noncommercial
depends = cvc4
depends = java-environment
provides = saw-script
source = https://github.com/GaloisInc/saw-script/releases/download/v0.3/saw-0.3-Ubuntu14.04-64.tar.gz
sha512sums = 83f457f9e5b8fe7de01734b334ce45a97068a71c6884de750cc7c37a90c061c0cf53ef4b590aa4611f610312bf6f71d1b93f23e377f57b85c3a06c5fddc9e5be
pkgname = saw-script
|