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, jdk16-openjdkAUR, jdk14-openjdkAUR, jdk12-openjdkAUR, jdk13-openjdkAUR, jdk15-openjdkAUR, jdk-ltsAUR, jdk19-openjdkAUR, jdk8AUR, jdkAUR, jdk11AUR)