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)