summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO8
1 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 06f5048b5507..a185da3ae4aa 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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