Search Criteria
Package Details: whiley 0.3.40-1
Git Clone URL: | https://aur.archlinux.org/whiley.git (read-only, click to copy) |
---|---|
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 (UTC) |
Last Updated: | 2016-07-23 07:16 (UTC) |
Dependencies (1)
- java-environment-jdk (jdk12, jdk10, jdk7, jdk8-arm, jdk12-openjdk, jdk15-openjdk, jdk16-openjdk, jdk13-openjdk, jdk14-openjdk, jdk-bcl, jdk-arm, jdk8, jdk11, jdk-lts, jdk)