diff options
| author | David Barnett | 2016-07-23 19:16:37 +1200 |
|---|---|---|
| committer | David Barnett | 2016-07-23 19:16:37 +1200 |
| commit | a073bda7547a74c58063477f8946292629a9d40f (patch) | |
| tree | 261735d59ddb10f0fe72e325d4e61ebd1dd71572 | |
| parent | a727ee6ef05ea3c1b2b9801e69b7fdfe14caef63 (diff) | |
| download | aur-whiley.tar.gz | |
update srcinfo
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,14 +1,14 @@ pkgbase = whiley pkgdesc = Whiley Development Kit. A programming language particularly suited to safety-critical systems - pkgver = 0.3.36 + pkgver = 0.3.40 pkgrel = 1 url = http://whiley.org/ arch = any - license = custom + license = BSD License depends = java-environment-jdk provides = whiley - source = http://whiley.org/download/wdk/wdk-src-v0.3.36.tgz - sha256sums = 743b749527492c6427a690becaa65b2b633e25b06243a09c522c1d673b177593 + source = http://whiley.org/download/wdk/wdk-src-v0.3.40.tgz + sha256sums = f2fd28773a05ced31624baee3fcb3d27e5353c1ceb3e6288962aefebc5a05da7 pkgname = whiley |