summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Barnett2016-07-23 16:11:39 +1200
committerDavid Barnett2016-07-23 16:11:39 +1200
commit29855ec0d26b5405d6049237736929491f1dae59 (patch)
tree5d057d79e8ad048434760684f3bae388a3f2921c
parent655adbd6081454f1b4167b4317221af0a3f6509b (diff)
downloadaur-29855ec0d26b5405d6049237736929491f1dae59.tar.gz
update to whiley 0.3.40
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index e3688ee70691..ab879d88c5a3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: David Barnett <zyphrus@outlook.com>
pkgname='whiley'
-pkgver='0.3.36'
+pkgver='0.3.40'
pkgrel='1'
pkgdesc='Whiley Development Kit. A programming language particularly suited to safety-critical systems'
arch=("any")
@@ -9,7 +9,7 @@ license=('custom')
depends=('java-environment-jdk')
provides=('whiley')
source=("http://whiley.org/download/wdk/wdk-src-v${pkgver}.tgz")
-sha256sums=('743b749527492c6427a690becaa65b2b633e25b06243a09c522c1d673b177593')
+sha256sums=('f2fd28773a05ced31624baee3fcb3d27e5353c1ceb3e6288962aefebc5a05da7')
build() {
cd "${srcdir}"