1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
whiley 0.3.40-1 0 0.00 Whiley Development Kit. A programming language particularly suited to safety-critical systems zyphrus 2016-07-23 07:16 (UTC)

1 package found. Page 1 of 1.