Search Criteria
Package Details: whiley 0.3.40-1
Package Actions
| 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 (jdk12AUR, jdk10AUR, jdk7AUR, jdk8-armAUR, jdk16-openjdkAUR, jdk14-openjdkAUR, jdk12-openjdkAUR, jdk11AUR, jdk13-openjdkAUR, jdk15-openjdkAUR, jdk-ltsAUR, jdk19-openjdkAUR, jdk8AUR, jdkAUR)