Package Details: whiley 0.3.40-1

Git Clone URL: https://aur.archlinux.org/whiley.git (read-only)
Package Base: whiley
Description: Whiley Development Kit. A programming language particularly suited to safety-critical systems
Upstream URL: http://whiley.org/
Keywords: academic whiley
Licenses: BSD License
Provides: whiley
Submitter: zyphrus
Maintainer: zyphrus
Last Packager: zyphrus
Votes: 0
Popularity: 0.000000
First Submitted: 2015-09-14 10:40
Last Updated: 2016-07-23 07:16

Dependencies (1)

Required by (0)

Sources (1)