pkgbase = whiley
	pkgdesc = Whiley Development Kit. A programming language particularly suited to safety-critical systems
	pkgver = 0.3.40
	pkgrel = 1
	url = http://whiley.org/
	arch = any
	license = BSD License
	depends = java-environment-jdk
	provides = whiley
	source = http://whiley.org/download/wdk/wdk-src-v0.3.40.tgz
	sha256sums = f2fd28773a05ced31624baee3fcb3d27e5353c1ceb3e6288962aefebc5a05da7

pkgname = whiley